bottom-unique

Từ điển Máy Tính - Foldoc Dictionary

bottom-unique

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

 f x = bottom  <=>  x = bottom 

A bottom-unique function is also strict.