## 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: Tue Feb 21 04:23:03 2017

14878 terms

No longer supported by Imperial College Department of Computing

Tweet