(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).
Last updated: 1997-01-07