tmp goto 관계,relation#s-3
Sub:
동치관계,equivalence_relation
순서,order - 모두 binary rel? chk
functional_relation
univalent_relation
동치관계,equivalence_relation
순서,order - 모두 binary rel? chk
functional_relation
functional relation
https://encyclopediaofmath.org/wiki/Functional_relation
https://ncatlab.org/nlab/show/functional relation
이항관계,binary_relation?action=highlight&value=functional_relation
functional relation
(위아래 MKL/MERGE)https://encyclopediaofmath.org/wiki/Functional_relation
https://ncatlab.org/nlab/show/functional relation
이항관계,binary_relation?action=highlight&value=functional_relation
functional relation
univalent_relation
univalent relation, right-unique relation, right-definite relation, functional relation
Univalent_relation
Univalent_relation
∀x∈X and ∀y,z∈Y
if xRy and xRz then y=z
를 말한다. 부분함수,partial_function라고도. 이런 관계에서 {X}는 R의 기본키,primary_key라 한다.
univalent relationif xRy and xRz then y=z
를 말한다. 부분함수,partial_function라고도. 이런 관계에서 {X}는 R의 기본키,primary_key라 한다.
tmp; from here ¶
어떤 집합 R이
두 집합 X와 Y의 데카르트_곱,cartesian_product(곱집합,product_set)의 부분집합,subset이면,
두 집합 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)