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

bottom-unique

You are here: irt.org | FOLDOC | bottom-unique

In domain theory, a function f is bottom-unique if

	f x = bottom  <=>  x = bottom

A bottom-unique function is also strict.

Nearby terms: bottom « BottomFeeder « bottom feeder « bottom-unique » bottom-up implementation » bottom-up model » bottom-up testing

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