Tra từ bottom-unique - Từ điển Máy Tính

Từ điển Máy Tính - Foldoc 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.