Mreža

Iz MaFiRaWiki

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

Kaj pomeni to opozorilo?

Mreža (M, ∧, ∨, ≤) je delno urejena množica (M,≤), v kateri ima vsak par elementov najmanjšo zgornjo mejo ∨ in največjo spodnjo mejo ∧. Če poznamo operaciji ∧ in ∨, lahko definiramo relacijo ≤ takole: a ≤ b, če in samo če je a ∨ b = b (ali, ekvivalentno, če je a ∧ b = a.)

Algebrska struktura (M, ∧, ∨) z dvema notranjima operacijama je mreža, če zadošča aksiomom za mrežo. Zato lahko relacijo ≤ v opisu mreže spuščamo.

Glej tudi

Osebna orodja