bottom-unique
Technology Dictionary
-> bottom-unique
Search:
bottom-unique
In domain theory, a function f is bottom-unique if
f x = bottom <=> x = bottom
A bottom-unique function is also strict.
©
Art Branch Inc.
SQL Tutorial