Go backward to Proof Go up to Top Go forward to Visualization

Class

Definition: The class of x with respect to R is the set of all elements that are related to x by R:

[x]R := {y in range(R): <x, y> in R}.

• We may just write [x], if R is clear from the context.
• If R is an equivalence relation, we call [x]_R the equivalence class of x with respect to R.