Programming Language Theory Flashcard

Given an equivalence relation r, what does "up to r" mean?

Books

Deckset theory relation

Question

Answer

"Up to $R$ " means that terms related by $R$ are treated indiscriminately.