Let $L$ be a lattice with no zero element and define '$x$ is an atom' as '$\neg\exists y \, y<x$'. Suppose that $\forall x\exists y (y\text{ is an atom and }y<x)$.
Does it follow that every element in $L$ is a join of atoms?
Let $L$ be a lattice with no zero element and define '$x$ is an atom' as '$\neg\exists y \, y<x$'. Suppose that $\forall x\exists y (y\text{ is an atom and }y<x)$.
Does it follow that every element in $L$ is a join of atoms?
Copyright © 2021 JogjaFile Inc.