<theory> The least defined element in a given domain.
Often used to represent a non-terminating computation.
(In LaTeX, bottom is written as \perp, sometimes with the domain as a subscript).
(07 Jan 1997)