Class (Set Theory)

In set theory class is an arbitrary collection of sets that need not be a set itself.

The need arises from Russell’s Paradox.

In type theory, a similar paradox due to Girard