Definition:Top (Lattice Theory)/Definition 1

From ProofWiki
Jump to navigation Jump to search

Definition

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

Let $S$ admit a greatest element $\top$.


Then $\top$ is called the top of $S$.


Also see