bottom-unique

bottom-unique

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

f x = bottom <=> x = bottom

A bottom-unique function is also strict.
This article is provided by FOLDOC - Free Online Dictionary of Computing (foldoc.org)
Mentioned in ?