Razlika između inačica stranice »Binarne relacije«

Dodana 273 bajta ,  prije 2 godine
Definicije su prilagođene modernoj ZFC teoriji skupova, odnosno usklađene su s definicijama izvedenih iz sveučilišnih udžbenika
(uklanjanje izmjene 4883251 suradnika 5.43.189.154 (razgovor))
(Definicije su prilagođene modernoj ZFC teoriji skupova, odnosno usklađene su s definicijama izvedenih iz sveučilišnih udžbenika)
Oznake: VisualEditor mobilni uređaj m.wiki
 
== Parcijalni uređaj i totalni uređaj ==
Binarna relacija je '''(strogi) parcijalni uređaj''', ako je antirefleksivna i tranzitivna. Ako dodatno dopustimo jednakost elemenata uz tako definiranu relaciju, novonastala relacija naziva se '''refleksivna relacija parcijalnog uređaja''', antisimetričnarelacija ikoja je refleksivna, tranzitivna i antisimetrična.
 
Ako dodatno vrijedi i <math>(\forall x,y \in S)</math>, <math>(x\mathcal R y \lor y\mathcal R x)</math>, za relaciju kažemo da je '''totalni uređaj''', a navedeno svojstvo relacije nazivamo usporedivost ili potpunost.
 
 
Anonimni suradnik