A class is a collection of elements of s.t. there is a formula with one free variable s.t. (i.e. is the interpretation of in ) Proper Class Function Class Relation Class