提出了不相交并集族的概念,给出了用A关于R的商集A/R和A关于S的商集A/S表示A关于R ∩ S的商集A/(R ∩ S)和A关于t(RU S)的商集A/t(......

R是A上等价关系,R的所有等价类构成了等价关系R的商集A/R,商集A/R是集合A的划分.商集是关系代数中的一个重要概念,在计算机科学和......