>>713
>ところで、この定義で「対象は集合である」と言うのは正しいですよね?

否