1 . 设X是有限集，t为正整数，F是包含t个子集的子集族：F=.如果F中的部分子集构成的集族S满足：对S中任意两个不相等的集合A、B，均不成立，则称S为反链.设S₁为包含集合最多的反链，S₂是任意反链.证明：存在S₂到S₁的单射f，满足或成立.