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

 
== Definíció ==
Az <math>(A; \leq)</math> párt '''részbenrendezett halmaznak''' nevezzük, ha <math>A</math> tetszőleges halmaz, <math>\leq</math> pedig <math>A</math>-n értelmezett részbenrendezés, azaz tetszőleges <math>a, b, c \in A</math> elemekre teljesülnek a következők:
: I) <math>a\leq a</math>
: II) ha <math>a\leq b</math> és <math>b\leq a</math>, akkor <math>a = b</math>