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

{{InfoBox
|name=右唯一关系
|eng_name=right-unique relation
|aliases=functional relation,部分函数,partial function
}}
'''右唯一关系'''('''left-unique relation''')指一个[[关系]]对前域内任意值都有至多一个后域内的值使得关系成立。

== 定义 ==

对集合 <math>X</math> 到 <math>Y</math> 上的关系 <math>R</math> ，若 <math>\forall x in X \forall y_1 \forall y_2 (x R y_1 \land x R y_2 \rightarrow y_1 = y_2)</math> ，称关系 <math>R</math> 是'''右唯一的'''('''right-unique''')，或称这样的关系为'''右唯一关系'''('''right-unique relation''')。也叫函数性的(functional)，也称这样的关系为部分函数(partial function)。


{{关系}}

== 参考资料 ==

# [https://en.wikipedia.org/wiki/Binary_relation Binary Relation - wikipedia]
# [https://www.zhihu.com/question/376021747/answer/1063189179 两函数的相等是否要求陪域的相等？ - 栀子忍冬的回答 - 知乎]