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).