# Category:Cartesian Product

Jump to navigation
Jump to search

This category contains results about cartesian products.

Definitions specific to this category can be found in Definitions/Cartesian Product.

Let $S$ and $T$ be sets or classes.

The **cartesian product** $S \times T$ of $S$ and $T$ is the set (or class) of ordered pairs $\tuple {x, y}$ with $x \in S$ and $y \in T$:

- $S \times T = \set {\tuple {x, y}: x \in S \land y \in T}$

## Subcategories

This category has the following 18 subcategories, out of 18 total.

### C

### E

### O

### P

## Pages in category "Cartesian Product"

The following 59 pages are in this category, out of 59 total.

### B

### C

- Cardinality of Cartesian Product
- Cartesian Product Distributes over Intersection
- Cartesian Product Distributes over Set Difference
- Cartesian Product Distributes over Union
- Cartesian Product Exists and is Unique
- Cartesian Product is Anticommutative
- Cartesian Product is Anticommutative/Corollary
- Cartesian Product is Empty iff Factor is Empty
- Cartesian Product is Empty iff Factor is Empty/Family of Sets
- Cartesian Product is not Associative
- Cartesian Product is Set Product
- Cartesian Product is Set Product/Family of Sets
- Cartesian Product of Bijections is Bijection
- Cartesian Product of Bijections is Bijection/General Result
- Cartesian Product of Countable Sets is Countable
- Cartesian Product of Family is Empty iff Factor is Empty
- Cartesian Product of Family of Subsets
- Cartesian Product of Group Actions
- Cartesian Product of Homeomorphisms is Homeomorphism
- Cartesian Product of Intersections
- Cartesian Product of Mappings is Continuous iff Factor Mappings are Continuous
- Cartesian Product of Natural Numbers with Itself is Countable
- Cartesian Product of Semirings of Sets
- Cartesian Product of Sets is Set
- Cartesian Product of Subsets
- Cartesian Product of Unions
- Cartesian Product Preserves Cardinality
- Cartesian Product with Complement
- Composition of Cartesian Products of Mappings
- Construction of Inverse Completion
- Correspondence between Set and Ordinate of Cartesian Product is Mapping
- Cross-Relation Equivalence Classes on Natural Numbers are Cancellable for Addition

### E

- Equality of Cartesian Products
- Equality of Ordered Pairs
- Equality of Ordered Tuples
- Equivalence Classes of Cross-Relation on Natural Numbers
- Equivalence of Definitions of Cartesian Product of Indexed Family
- Equivalence of Definitions of Ordered Pair
- External Direct Product of Projection with Canonical Injection/General Result