Naïve set theory MOC

Cartesian product

The cartesian product is the set of all ordered pairs where and . #m/def/set This is the categorical product in — by analogy, the categorical product is soemtimes also given this name.

Cartesian product of classes

In a material set theory with classes like , one defines the cartesian product of classes similarly.

See also


#state/develop | #SemBr | #lang/en