包含关系设～是集合S上的一个等价关系，任意a∈S，S的子集{x∈S|x～a}，称为a确定的（A）