JA
EN
数学のたな
0
0
定義域 | 数学のたな
集合
TeX
定義
ていぎ
域
定義本文
日
式
二項関係
R
=
(
X
,
Y
,
R
)
\,\mathcal R=(\,X,Y,R\,)
R
=
(
X
,
Y
,
R
)
に対して、
dom
(
R
)
≔
{
x
∈
X
∣
∃
y
∈
Y
(
(
x
,
y
)
∈
R
)
)
}
\operatorname{dom}(\mathcal R)\coloneqq\{\,x\in X\mid \exists y\in Y\quad (\,(x,y)\in R)\,)\,\}
dom
(
R
)
:
=
{
x
∈
X
∣
∃
y
∈
Y
(
(
x
,
y
)
∈
R
)
)
}
を
R
\mathcal R
R
の
定義域
とよぶ。