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

a
(Tulajdonságok)
a (→‎Definíció: formazas)
== 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>
: III)* ha <math>a\leq b</math> és <math>b\leq c</math>, akkor <math>a\leq c</math>
 
== Kiterjesztés, kompatibilitás, atommentesség, elágazó részbenrendezett halmazok==