bottom-unique

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

	f x = bottom  <=>  x = bottom

A bottom-unique function is also strict.

Nearby terms:

bottom feederbottom-uniquebottom-up implementationbottom-up model

Try this search on Wikipedia, OneLook, Google


Loading