摘要：
【矩阵胚（拟阵）的定义】 矩阵胚（拟阵）是一个满足遗传性质与交换性质的序对M=(S, I)，其中S是一个非空有限集，I是S的一个非空子集族。 【遗传性质的定义】 若X∈I，则X的任意子集∈I（X是遗传的）。 【交换性质的定义】 若A∈I，B∈I，且|A|>|B|，则∃x∈A-B，使B∪{x}∈I。 【独立子集的定义与性质】 定义：若X∈I，则X是S的独立子集。 性质：独立子集的任意子集都是独立子集。 阅读全文
