The Free On-line Dictionary of Computing (30 December 2018):

bottom-unique

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

   	f x = bottom  <=>  x = bottom

   A bottom-unique function is also strict.