什么是独立子集?

矩阵胚的定义是：
M={S,I}
其中S为有限集，I为S的一个子集族，满足下面条件：
1.{}属于I
2.如果集合X属于I，则X的所有子集都属于I。
3.如果集合W，V都属于I，且|V|>|W|,则V中存在一个不在W中的集合z，使W并{z}属于I。

I中的集合叫做矩阵胚的独立子集。上面三个定义保证了独立子集具有如下属性：
1.独立子集至少有一个（空集）
2.独立子集是“遗传”的。
3.只要一个独立子集不是最大（元素最多）的，我们总可以把它变得更大。