olemus
tõkestatud võre,
mille igal elemendil \(a\) on täiend \(b\), mille korral
\(\inf(a,b) = 0\) ja \(\sup(a, b) = 1\),
kus \(\inf\) tähendab alaraja ja \(\sup\) ülaraja
=
a bounded lattice, in which every element a has a complement

ülevaateid
https://en.wikipedia.org/wiki/Complemented_lattice

https://ncatlab.org/nlab/show/complemented+lattice

https://www.encyclopediaofmath.org/index.php/Lattice_with_complements