이항관계,binary_relation


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

[edit]

tmp; from [http]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)고 한다.

[edit]

correspondence와?

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

[edit]

MKLINK