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

        f x = bottom  <=>  x = bottom

A bottom-unique function is also strict.