Definition:Top (Logic)/Boolean Interpretation

Definition
Let $\top$ denote the top constant in the language of propositional logic. There is only one boolean interpretation for $\top$:
 * $\map v \top = \T$

where $\T$ symbolises true.