bottom-unique

Technology Dictionary -> bottom-unique

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