Compendium of Predicates
Search...
Ctrl +āK
š§°
Definitions
Product
Previous
Preservation of Extrema
Next
Relation Inclusion
Last updated
9 months ago
Product
ā ā
A
ā ā
B
ā
Set
:
=
{
x
,
y
:
x
ā
A
ā§
y
ā
B
:
pair
ā ā
x
ā ā
y
}
\textbf{Product} \; A \; B \in \textbf{Set} := \{ x,y : x \in A \wedge y \in B : \textbf{pair} \; x \; y \}
Product
A
B
ā
Set
:=
{
x
,
y
:
x
ā
A
ā§
y
ā
B
:
pair
x
y
}
A
ā
Set
A \in \textbf{Set}
A
ā
Set
B
ā
Set
B \in \textbf{Set}
B
ā
Set