BOTTOM-UNIQUE
Meaning of BOTTOM-UNIQUE in English
In domain theory , a function f is bottom-unique if
f x = bottom < = > x = bottom
A bottom-unique function is also strict .
FOLDOC computer English dictionary.
Английский словарь по компьютерам FOLDOC.
2012