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