查看“︁右全关系”︁的源代码

{{InfoBox
|name=右全关系
|eng_name=right-total relation
|aliases=surjective relation,onto relation
}}
'''右全关系'''('''right-total relation''')指一个[[关系]]对后域内任意值都有至少一个前域内的值使得关系成立，换句话说其值域等于其后域。

== 定义 ==

对集合 <math>X</math> 到 <math>Y</math> 上的关系 <math>R</math> ，若 <math>\operatorname{ran} R = Y</math> ，即 <math>\forall y \in Y \exist x \in X (x R y)</math> ，称关系 <math>R</math> 是'''右全的'''('''right-total''')，或称这样的关系为'''右全关系'''('''right-total relation''')。也叫满的(surjective)或映上的(onto)。


{{关系}}

== 参考资料 ==

# https://en.wikipedia.org/wiki/Binary_relation