## bottom

(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

Loading

(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

Loading

Updated: Mon Dec 5 02:33:51 2016

14874 terms

No longer supported by Imperial College Department of Computing

Tweet