Claim:⟦a⟧=⟦b⟧ if and only if aRb

From CS2800 wiki
Revision as of 13:44, 20 February 2020 by {{GENDER:Mdg39|[math]'"2}} [/math]'"7
(<math>1) </math>2 | <math>3 (</math>4) | <math>5 (</math>6)
If [math]R [/math] is an equivalence relation on [math]A [/math], then [math]\href{/cs2800/wiki/index.php/%E2%9F%A6a%E2%9F%A7}{⟦a⟧}_R = ⟦b⟧_R [/math] if and only if [math]\href{/cs2800/wiki/index.php/XRy}{aRb} [/math].