カントールの素朴集合論以来、集合の内包的定義(comprehensional definition)は、