## 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: Wed Jul 26 02:57:07 2017

24091 terms

No longer supported by Imperial College Department of Computing

Tweet