集合は内包によって規定される