Library
▹
Essentials
▹
Functions
Definition 1.5.15.
Let
V
,
W
,
X
,
Y
be sets,
f
:
V
→
W
,
g
:
X
→
Y
be
functions
. We define:
f
×
g
:
V
×
X
→
W
×
Y
(
v
,
x
)
↦
(
f
(
v
),
g
(
x
))
Remarks.
This definition is not standard in mathematics but convenient in some cases.