관계,relation

관계,relation (rev. 1.16)

Sub:

1 unary_relation ?


(유한한 수) finitary_relation
그럼 infinitary_relation 라는 것도 존재?
∞ 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

....







relational_structure =,relational_structure . relational_structure
{
relational structure
WtEn:relational_structure (x 2023-08-15)
https://xlinux.nist.gov/dads/HTML/relational.html


https://proofwiki.org/wiki/Definition:Relational_Structure
aka: relational_system =,relational_system . relational_system { relational system AKA: relational_structure. https://mathworld.wolfram.com/RelationalSystem.html Ggl:relational system }
endorelation 으로 정의함. 그게뭐야? not in ndict. 구글해보니 aka homogeneous_relation.

https://ncatlab.org/nlab/show/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 $\displaystyle X\times X$ 의 subset.


symmetric_relation =,symmetric_relation . symmetric_relation
WtEn:symmetric_relation x(2023-08-15)
https://en.wikipedia.org/wiki/Symmetric_relation
symmetric relation
대칭관계 ?
KmsE:symmetric relation
Ggl:symmetric relation
Up: 대칭성,symmetry


ADDHERE

rel

비슷?



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


}


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




MERGE TO VG:관계,relation


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


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



... aka relational_theory ?
2023-08-15:
WpEn:Relational_theory - No, [https]nlab에서 여기로 링크했으나 아님.
WpEn:Relation_theory - 페이지없음.