Top is Unique

From ProofWiki
Jump to navigation Jump to search

Theorem

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


Then $S$ has at most one top.


Proof

By definition, a top for $S$ is a greatest element.

The result follows from Greatest Element is Unique.

$\blacksquare$