Cartesian product
Logic
Propositional logic
Predicate-Logic
Set
Set
Set operation
Binary relation and Map
Equivalence relation
Ordered set
Wellordered set
Axiom of Choice
Cardinality
Topology
Topology
Topological space
Continuous map
Compact
Separation axioms
Metric-space
Convergence
Linear algebra
Linear space
Product space
Basis
Orthogonal system
Linear operator
Determinant
Elementary matrix
Rank
Eigenspace
Nomal matrix
Group
Group
Subgroup
Cyclic group
Symmetric group
Quotient group
Homomorphism
Cartesian product
Group action
Real analysis
Convergence of real sequence
Convergence theorem1
Convergence of real series
Convergence of real function
Convergence theorem2
Measure theory
Finitely additive measure
Outer measure
Measure space
Back
en
ja
Product of cartesian product set
Product of cartesian product set:
×
c
:
(
g
1
,
g
2
,
…
g
t
)
×
c
(
g
1
′
,
g
2
′
,
…
g
t
′
)
=
(
g
1
∘
g
1
′
,
g
2
⋄
g
2
′
,
…
,
g
t
∙
g
t
′
)
Product
Product of
G
1
,
G
2
,
…
,
G
t
:
(
G
1
×
G
2
×
…
×
G
t
,
×
c
)
Cartesian product factor
Cartesian product factor of
(
G
1
×
G
2
×
…
×
G
t
,
×
c
)
:
(
G
1
,
∘
)
,
(
G
2
,
⋄
)
,
…
,
(
G
t
,
∙
)
Corollary
Cartesian groups
(
G
1
,
∘
)
,
(
G
2
,
⋄
)
,
…
,
(
G
t
,
∙
)
are subgroup of
(
G
1
×
G
2
×
…
×
G
t
,
×
c
)
Corollary
G
1
×
G
2
element in
G
1
a and
G
2
are commutative
Corollary
G
1
,
G
2
◃
G
1
×
G
2
Corollary
G
≃
H
×
K
Chinese remainder theorem
Z
/
mn
Z
≃
Z
/
m
Z
×
Z
/
n
Z
Product of cartesian product set
Product
Cartesian product factor
Corollary
Corollary
Corollary
Corollary
Chinese remainder theorem