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