Bottom-unique




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

f x = bottom

<=>

x = bottom

A bottom-unique function is also strict.





< Previous Terms Terms Containing bottom-unique Next Terms >
bot
botmaster
bottom
BottomFeeder
bottom feeder
bottom-unique
strict
bottom-up implementation
bottom-up model
bottom-up testing
botwar
bounce