Relacja równoważności

Relację ρ ⊂ A × A, nazywamy relacją równoważności, jeśli ρ jest relacją zwrotną, symetryczną i przechodnią. Relację równoważności oznaczamy symbolem ≈.

Relację ρ ⊂ A × A, nazywamy relacją równoważności, jeśli:
- aρa dla każdego a ∈ A,
- aρb ⇒ bρa dla każdego a, b∈A,
- (aρb ∧ bρc) ⇒ aρc dla każdego a, b, c ∈A