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 feeder ♦ bottom-unique ♦ bottom-up implementation ♦ bottom-up model

Try this search on Wikipedia, Wiktionary, Google, OneLook.

Loading