矩阵胚的定义是： 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 中的集合叫做矩阵胚的独立子集。