




























On an arbitrary meet-semilattice S with 0 we define an orthogonality relation and investigate the lattice Cl(S) of all subsets of S closed under this orthogonality. We show that if S is atomic then Cl(S) is a complete atomic Boolean algebra. If S is a pseudocomplemented lattice, this orthogonality relation can be defined by means of the pseudocomplementation. Finally, we show that if S is a complete pseudocomplemented lattice then Cl(S) is a complete Boolean algebra. For pseudocomplemented posets a similar result holds if the subset of pseudocomplements forms a complete lattice satisfying a certain compatibility condition.
此内容由惯性聚合(RSS阅读器)自动聚合整理,仅供阅读参考。 原文来自 — 版权归原作者所有。