VDict mobile



In domain theory, a union (or sum) which results in a domain
without a least element.