补类

亦称“余类”。在一定的论域内，给定一个类K，由一切不属于K类的元素所构成的类，叫做类K的补类，记作K’。如：（1）如果S是由所有有理数构成的类，那么，在实数域内，所有的无理数都属于S’。（2）设H是一个类，如果C={x｜x■H}，则C就是H的补类。