?空类

设这类α为非空类（non-empty），可以说它起着参考系的作用，将称之为（有穷的）参考类（reference-class）。