>>909
読んだらクラスとは集合を1つ引数にとる述語のことだと定義されてたぞ