>>58
クラスと集合の切り分けは任意だから変わらんだろ
>>62
クラスを定義域とする関数