Sub:

1 unary_relation ?

2 [[이항관계,binary_relation]]
 [[동치관계,equivalence_relation]] -> [[VG:동치관계,equivalence_relation]]

3, 4, ...
일반적 명칭?

(유한한 수) finitary_relation
 WpEn:Finitary_relation

''그럼 infinitary_relation 라는 것도 존재?''
∞ infinitary_relation
 ... Google:infinitary+relation Naver:infinitary+relation 

0인 경우도 존재.
https://en.wikipedia.org/wiki/Relation_of_degree_zero
"relation of degree zero, 0-ary relation, or nullary relation"
// [[arity]] / [[디그리,degree]] / [[영,zero]]

....

inverse_relation
inverse relation
WtEn:inverse_relation x
WpEn:Inverse_relation - disambig
https://proofwiki.org/wiki/Definition:Inverse_Relation
Ggl:"inverse relation"
[[인버스,inverse]]


satisfaction_relation
satisfaction relation
Ndict:"satisfaction relation"
Ggl:"satisfaction relation"


many-to-one_relation
https://proofwiki.org/wiki/Definition:Many-to-One_Relation

relational_structure =,relational_structure . relational_structure
{
relational structure
WtEn:relational_structure (x [[Date(2023-08-14T19:12:50)]])
https://xlinux.nist.gov/dads/HTML/relational.html

WpEn:Relational_structure ''- redir. to https://en.wikipedia.org/wiki/Structure_%28mathematical_logic%29''

https://proofwiki.org/wiki/Definition:Relational_Structure
 aka: relational system relational_system
 endorelation 으로 정의함. 그게뭐야? not in ndict. 구글해보니 aka homogeneous_relation.

https://ncatlab.org/nlab/show/relational+structure

Up: [[구조,structure]] > [[mathematical_structure]]
Ggl:relational+structure
relational+structure
}

homogeneous_relation =,homogeneous_relation . homogeneous_relation
endorelation =,endorelation . endorelation 
{
homogeneous relation

"on a set X is a binary_relation between X and itself" (we)
즉 동일 집합간 [[이항관계,binary_relation]] - cartesian product $X\times X$ 의 subset.

https://en.wikipedia.org/wiki/Homogeneous_relation
...
Ggl:endorelation
Ggl:"homogeneous relation"
}

symmetric_relation =,symmetric_relation . symmetric_relation
WtEn:symmetric_relation x([[Date(2023-08-14T19:12:50)]])
https://en.wikipedia.org/wiki/Symmetric_relation
symmetric relation
대칭관계 ?
KmsE:"symmetric relation"
Ggl:"symmetric relation"
Up: [[대칭성,symmetry]]

relation_symbol
[[심벌,symbol]] [[letter]] [[술어,predicate]]
aka predicate_symbol = predicate_letter
via:
https://encyclopediaofmath.org/wiki/Relation_symbol
redir. to
https://encyclopediaofmath.org/wiki/Predicate_symbol

ADDHERE

= rel =
== 비슷? ==
[[대응,correspondence]]
{
kms correspondence => https://www.kms.or.kr/mathdict/list.html?key=ename&keyword=Correspondence

https://encyclopediaofmath.org/wiki/Correspondence - ''relation''
 (대체적으로) 같은 [[타입,type]]의 두 ([[집합,set]]이나 [[구조,structure]]) 사이 [[이항관계,binary_relation]] [[개념,notion]]의 [[일반화,generalization]].
}

[[relevance]] =,relevance . relevance
{
연관성, 적절한 정도, ... 지금 상황에 맞는지 여부를 따지는 그런 뉘앙스가 포함된 듯 한데

WtEn:relevance
NdEn:relevance

}

----
//tmp, delme - 대응관계(?) 라는 [[표현,expression]]에 대해 - '대응'과 '관계'와 '대응관계' 사이 관계를 명확히 
{ 
KmsK:대응관계 x 
KpsK:대응관계 
KcsK:대응관계 
Zeta:대응관계 
Libre:대응관계 
Namu:대응관계 
WpKo:대응관계 
Ndict:대응관계 
Google:대응관계 
HashKr:대응관계 
YouTube:대응관계 
Srch:대응관계 
} 

----
Twins:
https://encyclopediaofmath.org/wiki/Relation
[[Libre:관계]]
[[Libre:관계_(수학)]]
[[Namu:관계]]
[[WpKo:관계_(수학)]] ... corresp wpen : [[WpEn:Finitary_relation]]

https://proofwiki.org/wiki/Definition:Relation

'''MERGE TO [[VG:관계,relation]]'''

// tmp delme. ''These pages share a similar word...''
[[릴레이션relation]]
[[릴레이션스키마relation_schema]]
[[릴레이션인스턴스relation_instance]]
[[미분가능성과_연속성의_관계]]
[[속도,각속도,파장,진동수,주기의 관계]]
[[관계relationship]]
[[관계대수relational_algebra]]
[[관계데이터연산relationship_data_operation]]
[[관계해석relational_calculus]]

MKLINK
[[arity]] =,arity . arity
{
WpEn:Arity - "is the number of arguments or operands taken by a function, operation or relation" 즉 [[함수,function]] [[펑션,function]] [[연산,operation]] '''관계,relation'''가 가지는 성질. ''[[자료구조,data_structure]] or ADT : [[배열,array]]등도?''

0 nullary
1 unary
2 binary
3 ternary
일반적으로 n-ary

Compare:
[[차원,dimension]]
[[valency]] ... [[WpEn:Valency_(linguistics)]]
[[cardinality]] ... [[WpEn:Cardinality]]
}

Up:
분야:
relation_theory =,relation_theory . relation_theory
{
관계론 관계이론
WtEn:relation_theory
KmsE:relation

https://proofwiki.org/wiki/Definition:Relation_Theory
https://proofwiki.org/wiki/Category:Relation_Theory

[[관계,relation]] [[이론,theory]]
}

... aka relational_theory ?
[[Date(2023-08-14T19:12:50)]]:
WpEn:Relational_theory - No, [[https://ncatlab.org/nlab/show/relational+structure nlab]]에서 여기로 링크했으나 아님.
WpEn:Relation_theory - 페이지없음.