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

Ugrás a navigációhoz Ugrás a kereséshez
(Kompatibilitás, atommentesség, kiterjesztés, atom)
: 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<ref>Lásd: Csirmaz László: Forszolás (jegyzet)</ref> ==
 
Legyen <math>(A; \leq)</math> tetszőleges részbenrendezett halmaz és <math>a, b \in A</math>. Azt mondjuk, hogy b '''kiterjesztése''' a-nak, ha <math>b \leq a</math>, illetve '''valódi kiterjesztésről''' beszélünk, ha <math>b \leq a</math> és <math>b \neq a</math>
 
 
Legyen <math>(A; \leq)</math> tetszőleges részbenrendezett halmaz és <math>a \in A</math>. Az <math>a</math> elemet '''atomnak''' nevezzük, ha az <math>a</math> elemnek nincs valódi kiterjesztése. Az <math>(A; \leq)</math> részbenrendezett halmazt '''atommentesnek''' nevezzük, ha nincs benne atom.
 
Az <math>(A; \leq)</math> részbenrendezett halmazt '''elágazó részbenrendezett halmaznak''' nevezzük, ha tetszőleges <math>a, b \in A</math> elemekhez létezik olyan <math>c \in A</math> elem, hogy <math>c</math> kompatibilis <math>a</math>-val és inkompatibilis <math>b</math>-vel.
 
== Példák ==

Navigációs menü