Compendium of Predicates
Ctrl
K
Copy
🧰
Definitions
Product
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
Previous
Preservation of Extrema
Next
Relation Inclusion
Last updated
1 year ago