(1)因为X'=,故X∈T,又由 定义有0∈T; (2)设A,B∈T,若A,B之中有一个 是空集，则有A⌒B=中∈T； 下面假定A,B都不是空集，此时 有(A∩B)'=A'UB'是一个 有限集，所以A⌒B∈T(1)因为 ，故 ，又由 定义有 ； (2)设 ,若A,B之中有一个 是空集，则有 ； 下面假定A,B都不是空集，此时 有 是一个 有限集，所以 . X  =  X T  T A B, T A B  =  T ( ) A B A B  =     A B  T (1)因为 ，故 ，又由 定义有 ； (2)设 ,若A,B之中有一个 是空集，则有 ； 下面假定A,B都不是空集，此时 有 是一个 有限集，所以 . X  =  X T  T A B, T A B  =  T ( ) A B A B  =     A B  T (1)因为 ，故 ，又由 定义有 ； (2)设 ,若A,B之中有一个 是空集，则有 ； 下面假定A,B都不是空集，此时 有 是一个 有限集，所以 . X  =  X T  T A B, T A B  =  T ( ) A B A B  =     A B  T