Linearna urejenost

Iz MaFiRaWiki

(Preusmerjeno iz Linearna ureditev)

Množica A je z relacijo R \subseteq A \times A linearno urejena, če je relacija R:

  1. refleksivna: R(x,x),
  2. tranzitivna: R(x,y) \land R(y,z) \implies R(x,z),
  3. antisimetrična: R(x,y) \land R(y,x) \implies x = y,
  4. sovisna: R(x,y) \lor R(y,x).

Zgledi

Glej tudi

Osebna orodja