Class in set theory (source code)

= Class in set theory
{wiki=Class_(set_theory)}

A class is a collection of sets specified by a formula, possibly with set parameters. A class is a set when one set has exactly those members.