tmp goto [[관계,relation#s-3]]

Sub:
[[동치관계,equivalence_relation]]
[[부분순서,partial_order]]
functional_relation
 '''functional relation'''
 https://encyclopediaofmath.org/wiki/Functional_relation
 https://ncatlab.org/nlab/show/functional+relation
 [[RR:이항관계,binary_relation?action=highlight&value=functional_relation]]
 Google:"functional relation"
(위아래 MKL/MERGE)
univalent_relation
 '''univalent relation, right-unique relation, right-definite relation, functional relation'''
 WpEn:Univalent_relation
  ∀x∈X and ∀y,z∈Y
  if xRy and xRz then y=z
  를 말한다. [[부분함수,partial_function]]라고도. 이런 관계에서 {X}는 R의 [[기본키,primary_key]]라 한다.
 Ggl:"univalent relation"

= tmp; from [[http://wiki.reeseo.net/2019컴퓨테이션이론/함수형%20계산%20이론%20기초/타입 here]] =

어떤 집합 R이
두 집합 X와 Y의 [[데카르트_곱,cartesian_product]]([[곱집합,product_set]])의 [[부분집합,subset]]이면,
 R ⊆ X × Y
R은 X와 Y 사이의 '''이항관계'''이다.

''즉 이항관계는 순서쌍의 집합이다.''

어떤 순서쌍 (x, y)가 '''이항관계''' R의 [[원소,element]]일 때,
 (x, y) ∈ R
이것을
 x R y 혹은 R(x, y)
라고 표기하며, x와 y는 R 관계에 있다(x is R-related to y)고 한다.

= correspondence와? =
[[대응,correspondence]](= dyadic_relation = two-place relation)과 동의어. 그러나 일부 저자에 따라선 약간 달리 쓰일 수 있다 함 (큰 차이는 아님) (wpen)

= MKLINK =
[[이항연산,binary_operation]]
[[이항연산자,binary_operator]]

----
http://foldoc.org/binary+relation
[[MathWorld:BinaryRelation]]