Relació binaria
Donats dos conjunts, hi ha una relació binaria...
Si
tots els elemente d'un conjunt estan lligats amb els elements de l'altre.
Possibles propietats:
- reflexiva
- antireflexiva
- simètrica
- antisimètrica
- transitiva
Relació d'equivalència
Compleix tres propietats:
- Reflexiva: ∇x ∈ A: x R x
- Simètrica: ∇x,y ∈ A: si x R y ⇒ y R x
- Transitiva: ∇x,y,z ∈ A: x R y, y R z ⇒ x R z
Relació d'ordre
- D'odre estricte
- Antireflexiva
- Transitiva
- (=> Antisimètrica)
- d'ordre parcial
- Reflexiva
- Antisimètrica
- Transitiva
- d'ordre total