„Részbenrendezett halmaz” változatai közötti eltérés

* ha <math>a\leq b</math> és <math>b\leq a</math>, akkor <math>a = b</math>
* ha <math>a\leq b</math> és <math>b\leq c</math>, akkor <math>a\leq c</math>
 
==Gyenge és erős részbenrendezés==
Bizonyos kontextusokban a fent definiált reflexív, antiszimmetrikus, tranzitív részbenrendezést („≤”) '''gyenge részbenrendezésnek''' nevezik, és definiálják a '''szigorú részbenrendezést''' („<”), ami antiszimmetrikus, tranzitív, de [[irreflexív reláció|irreflexív]].
 
== Kiterjesztés, kompatibilitás, atommentesség, elágazó részbenrendezett halmazok==