## 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 Jan 18 20:50:46 2017

14877 terms

No longer supported by Imperial College Department of Computing

Tweet