Home Articles FAQs XREF Games Software Instant Books BBS About FOLDOC RFCs Feedback Sitemap


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).


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

©2018 Martin Webb