pusšvarkis
Pusšvarkis – tai dalinis tvarka aibėje, kai ne visi elementai yra tarpusavyje palyginami.
Pagrindinė sąlyga:
Refleksyvumas: \( a \leq a \)
Antisimetriškumas: jei \( a \leq b \) ir \( b \leq a \), tai \( a = b \)
Tranzityvumas: jei \( a \leq b \) ir \( b \leq c \), tai \( a \leq c \)
Bet gali egzistuoti elementų porų, kurioms santykis "≤" neapibrėžtas.
Pavyzdžiai:
1. Aibės poaibiai:
\( \{1,2\} \) ir \( \{2,3\} \) nėra palyginami (nes vienas nėra kito poaibis), bet abu ≤ \( \{1,2,3\} \).
2. Teigiami sveikieji skaičiai pagal dalijimąsi:
\( 2 \) ir \( 3 \) nėra palyginami (nes vienas nedalo kito), bet abu dalo \( 6 \).
3. Žmonių giminystės medis:
Brolis ir sesė nėra palyginami tiesiogiai (vienas nėra kito protėvis), bet abu yra vaikai toms pačioms tėvams.
Trumpai: Pusšvarkis – tvarka, kurioje leidžiama turėti nepalyginamų elementų.
Jūsų pataisymai bus išsiųsti moderatorių peržiūrai, jei informacija tikslesnė/taisyklingesnė
ji bus patalpinta vietoj esamos.