Relació d'ordre
From Wikipedia, the free encyclopedia
Sigui un conjunt qualsevol. Una relació en és un criteri que ens permet dir si dos elements qualssevol de , satisfan la relació o no. Una relació és relació d'ordre si compleix les propietats reflexiva, antisimètrica i transitiva.
La relació d'ordre a un conjunt fa que aquest sigui un conjunt ordenat, de vegades dit parcialment ordenat, per remarcar que no compleix la relació de totalitat.
Els conjunts parcialment ordenats per una relació binària que a més és total, es diuen conjunts totalment ordenats.