Relation class
A relation class is a generalization of a Relation set. set
When working in a material set theory with classes, one may more widely consider a (binary) relation as any subset of the Cartesian product of classes
In a material set theory without classes like ZF one may still treat this indirectly, by a predicative formula with two arguments. The Class existence theorem schema gives a sense in which these conceptions are equivalent in NBG.