Topic summary
Transitive class
Extracted from the Wikipedia article Transitive set.
Transitive models of set theory
Transitive classes are often used for construction of interpretations of set theory in itself, usually called inner models. The reason is that properties defined by bounded formulas are absolute for transitive classes.