## 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: Sun Apr 30 16:52:32 2017

24087 terms

No longer supported by Imperial College Department of Computing

Tweet