Programming Language Theory FlashcardWhat is a congruence?Properties 3Hide BooksChapter 1. Abstract syntax ConceptsCongruence Deckset theory relationQuestionWhat is a congruence?AnswerAn equivalence relation that is preserved under a specific operation. Previous in FlashcardsWhat is a common pattern of many reactive systems?Next in Flashcards What is a countable set?