Top of Lattice is Unique

Theorem
Let $\left({S, \vee, \wedge, \preceq}\right)$ 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.