排除关系在PC集合结构分析中的运用

在音级(PC)集合论的发展中,最重要的概念之一是“包含”(inclusion)。这个概念是福特“集合复合形”的基础,它在近年来所形成的理论框架中,扮演着十分重要的角色。本文拟采取一种不同于包含(或与之互补)的方法——即“排除关系”——来对刻划和比较PC集合特性的问题进行探究。排除关系在很多情况下,都将产生PC集合的明显结构,并可以为判断相同或相异基数的PC集合的相似性,提供一种可资选择的透视。