Naïve set theory MOC

Cartesian product

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

Cartesian product of classes

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

See also


develop | sembr | en