JA
EN
数学のたな
0
0
始域 | 数学のたな
集合
TeX
始域
定義本文
日
式
二項関係
R
=
(
X
,
Y
,
R
)
\,\mathcal R=(\,X,Y,R\,)
R
=
(
X
,
Y
,
R
)
に対して、
src
(
R
)
≔
X
\operatorname{src}(\mathcal R)\coloneqq X
src
(
R
)
:
=
X
を
R
\mathcal R
R
の
始域
とよぶ。