In fact, if two different surrogate values from dom(UID) occur in any relation, then these surrogate values denote different collections of type U(C).
確定! 回上一頁