In domain theory, a function f is bottom-unique iff x = bottom x = bottomA bottom-unique function is also strict.
