Go backward to ProofGo up to TopGo forward to Visualization |

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

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

- 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`.

Author: Wolfgang Schreiner

Last Modification: January 12, 2000