Source : Free On-Line Dictionary of Computing

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