定義
位相空間の部分集合は第１類(the first category)の集合(>>174)で
ないとき第２類(the second category)の集合と言う。