Delna urejenost

Iz MaFiRaWiki

Ta članek ali del članka je v delu. Veseli bomo, če ga boste dopolnili in popravili.

Kaj pomeni to opozorilo?

Množica A je z relacijo R ⊆ A × A delno urejena, če je relacija R:

  1. refleksivna: R(x,x),
  2. tranzitivna: R(x,y) ∧ R(y,z) ⇒ R(x,z),
  3. antisimetrična: R(x,y) ∧ R(y,x) ⇒ x = y.

Običajno označimo relacijo delne urejenosti kar z ≤ in delno urejenost s parom (A,≤).

Primeri delnih urejenosti

Hassejev diagram

Vsaka relacija delne urejenosti nad A določa enolično relacijo pokritja, ta pa digraf, ki mu pravimo tudi Hassejev diagram.

Glej tudi

Osebna orodja