bottom-unique
In
domain theory
, a function f is bottom-unique if
f x = bottom <=> x = bottom
A bottom-unique function is also
strict
.