A constant symbol representing the universal truth value in logic or the entire space in topology.
Examples
Top element in a lattice or poset
x \leq \top \text{ for all } x \in L
Truth value in logic
P \lor \neg P = \top
Maximum element in a bounded set
\sup A = \top \text{ in the interval } [0,\top]