Category:Examples of Atoms of Lattices

From ProofWiki
Jump to navigation Jump to search

This category contains examples of Atom of Lattice.

Let $\struct {S, \vee, \wedge, \preceq}$ be a lattice.


An atom of $\struct {S, \vee, \wedge, \preceq}$ is an element $A \in S$ such that:

$\forall B \in S: B \preceq A, B \ne A \implies B = \bot$
$A \ne \bot$

where $\bot$ denotes the bottom of $\struct {S, \vee, \wedge, \preceq}$.

Pages in category "Examples of Atoms of Lattices"

The following 2 pages are in this category, out of 2 total.