Definition:Top of Lattice/Definition 2

From ProofWiki
Jump to navigation Jump to search

Definition

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

Let $\wedge$ have an identity element $\top$.


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


Also see

  • Results about the top of a lattice can be found here.