 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.