Presentujeme jednoduchouekvacionální charakterizaci průsekových polosvyzů s 0, kde pro každý prvek p je hlavní filtr generovaný p orthomodulární svaz nebo orthosvaz eventuálně s tzv. podmínkou kompatibility. (cs)
We present a simple equational characterization of (meet) semilattices with 0 where for each element p the interval [0, p] is an orthomodular lattice or an ortholattice possibly satisfying the compability condition.
We present a simple equational characterization of (meet) semilattices with 0 where for each element p the interval [0, p] is an orthomodular lattice or an ortholattice possibly satisfying the compability condition. (en)