>>641
ある特定のものの呼び名として整数、プロ野球選手というものがあるから当然その集合も同じように定義可能