JA
EN
数学のたな
0
0
積集合 | 数学のたな
集合
TeX
積集合
せきしゅうごう
定義本文
日
式
集合
X
,
Y
X,Y
X
,
Y
に対して、
X
×
Y
≔
{
(
x
,
y
)
∣
x
∈
X
,
y
∈
Y
}
X\times Y \coloneqq \{\,(x,y)\mid x\in X,\ y\in Y\,\}
X
×
Y
:
=
{
(
x
,
y
)
∣
x
∈
X
,
y
∈
Y
}
を
X
X
X
と
Y
Y
Y
の
積集合
、または
直積集合
とよぶ。
補足
X
×
Y
X\times Y
X
×
Y
は
X
X
X
の元と
Y
Y
Y
の元の
順序対
をすべて集めた集合である。