"A relation on S" is a subset of S x S. Here, A and B are subsets of S rather than elements of S; therefore, R is a relation on the powerset of S.

Suppose that R' is a relation on some set X and suppose that there exists afunctionf such that that (x, y) ∈ R' iff f(x) = f(y). Then R' is an equivalence relation.