bottom-unique

from The Free On-line Dictionary of Computing (8 July 2008)

bottom-unique

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

   	f x = bottom  <=>  x = bottom

   A bottom-unique function is also {strict}.