假设我们有一个名为P的有限集，我们已将其划分为单独的子集
p1, p2, ... pj
我们将q定义为所有子集S，其中每个子集pi最多只有一个成员q = { s:|intersect(s,pi)| <= 1, for i = 1...j }
。所以
(P,q)证明当q的独立集合为{{1}}时，{{1}}是一个拟阵。
答案 0 :(得分：0)
1.P是有限的，如问题所述2.q具有继承性，因为当我们选择B时，它的所有子集仍然至多有一个成员pi 3.q具有替换属性，就像我们有| A | ＆LT; | B |然后B有一些不在A中的Pi的成员，所以我们可以将它们添加到A中，但它至多只有一个Pi成员