# bottom

You are here: irt.org | FOLDOC | 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).

(1997-01-07)

Nearby terms: BOSS « bot « botmaster « bottom » BottomFeeder » bottom feeder » bottom-unique

FOLDOC, Topics, A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, ?, ALL