Bottomunique

1 definition found

From The Free On-line Dictionary of Computing (27 SEP 03) [foldoc]:

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


          A bottom-unique function is also {strict}.