The Free On-line Dictionary of Computing (19 January 2023):

bottom-unique

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

    f x = bottom  <=>  x = bottom

   A bottom-unique function is also strict.