Difference between r1.25 and the current
@@ -1,7 +1,37 @@
//수학
[[합동관계,congruence_relation]]
//이하몇개는 [[언어학,linguistics]] [[언어,language]] [[단어,word]] [[기호학,semiotics]] [[ontology]] 쪽.
{
[[semantic_relation]] =,semantic_relation . semantic_relation
'''semantic relation'''
https://www.gabormelli.com/RKB/Semantic_Relation
aka conceptual relation. conceptual_relation =,conceptual_relation Ggl:"conceptual relation"
// semantic relation Ggl:"semantic relation"
[[word_sense_relation]] =,word_sense_relation . word_sense_relation
[[lexical_relation]] =,lexical_relation . lexical_relation
'''word sense relation'''
'''lexical relation'''
https://www.gabormelli.com/RKB/Word_Sense_Relation (Redirected from lexical relation)
// word sense relation Ggl:"word sense relation"
// lexical relation Ggl:"lexical relation"
...tbw
}
----
<<tableofcontents>>
= Def. =
정의:
[[집합,set]](들)의 cartesian product([[곱집합,product_set]])의 [[부분집합,subset]]. (mw)
''그러니까 이렇게 정의해야 2-relation 말고도 1 3 4 5 ....로 일반화가능한거지? 근데 nullary relation은 그럼? chk Ggl:"nullary relation definition" ...''
= Sub: =
== ([[operand]]?의 개수? arity? 기준으로) 0, 1, 2, .... ==
// 일단 degree(curr [[디그리,degree]]) / arity([[arity]]) / 대상 집합들의 개수 / .... 기준으로0인 경우도 존재.
@@ -16,18 +46,21 @@
3, 4, ...
일반적 명칭? - Ggl:"n-ary relation" 해보니 나오긴 하는데
QQQ 'k-adic relation' 과 같은 거? ( [[logical_matrix]] 언급에서. https://oeis.org/wiki/Logical_matrix )
cf.
(misc delme) 철자 혼동 주의: ''이하 (in)finitiary 가 아니라 (in)finitary 임''
(유한한 수)
[[finitary_relation]] =,finitary_relation . finitary_relation
finitary relation
{
'''finitary relation'''
https://www.gabormelli.com/RKB/Finitary_Relation
WpEn:Finitary_relation "finitary relation"
} // finitary relation ... Ggl:"finitary relation"
''그럼 infinitary_relation 라는 것도 존재?''
''그럼 infinitary_relation 라는 것도 존재?'' QQQ
∞ infinitary_relationinfinitary relation
...
@@ -49,33 +82,39 @@
....
== inverse relation ==
[[inverse_relation]] =,inverse_relation . inverse_relationinverse relation
인버스관계
역관계 ?
WtEn:inverse_relation x [[Date(2023-08-21T03:09:03)]]
WpEn:Inverse_relation - disambig
WpEn:Inverse_relation - disambig page
https://proofwiki.org/wiki/Definition:Inverse_RelationBing:"inverse relation"
Ggl:"inverse relation"
[[인버스,inverse]]
== satisfaction relation ==
[[satisfaction_relation]] =,satisfaction_relation . satisfaction_relation{
satisfaction relation
REL
[[satisfaction]] =,satisfaction . satisfaction {
KmsE:satisfaction : ?
이것보다 관련표현인 satisfiability 가 매우 자주 보인다... 아래.
관련표현
satisfactory adj. 만족스러운
satisfiability n. - 보통 '충족가능성'으로 번역하는 게 대세인듯. // or 충족여부 만족가능성 만족여부 ??
satisfiability n. - 보통 '충족가능성'으로 번역하는 게 대세인듯. // or 충족여부 만족가능성 만족여부 ?? // =,satisfiability =,satisfiability . satisfiability
~~KmsE:satisfiability x [[Date(2023-08-24T20:55:25)]]~~
WtEn:satisfiability = https://en.wiktionary.org/wiki/satisfiability https://en.wikipedia.org/wiki/Satisfiability
esp Boolean_satisfiability Boolean satisfiability (이걸 줄여서 SAT ?)[[satisfiability_problem]] =,satisfiability_problem . satisfiability_problem
satisfiability problem (이걸 줄여서 SAT ?)
@@ -94,7 +133,18 @@
"satisfaction relation"
} // satisfaction_relation
{
many-to-one relation
} // satisfaction_relation
== one-to-many relation ==
[[one-to-many_relation]] =,one-to-many_relation . one-to-many_relation
{
'''one-to-many relation'''
일대다 관계 ?
https://www.gabormelli.com/RKB/One-to-Many_Relation
[[이항관계,binary_relation]]의 일종
} // one-to-many relation Ggl:"one-to-many relation"
== many-to-one relation ==
[[many-to-one_relation]] =,many-to-one_relation . many-to-one_relation{
many-to-one relation
@@ -106,8 +156,10 @@
Ggl:"many-to-one relation"
}
{
Ndict:"다대다 관계"
}
== many-to-many relation ==
[[many-to-many_relation]] =,many-to-many_relation . many-to-many_relation{
many-to-many relation
다대다 관계?Ndict:"다대다 관계"
@@ -116,6 +168,7 @@
Ggl:"many-to-many relation"
}
{
relational structure
}
== relational structure ==
[[relational_structure]] =,relational_structure . relational_structure{
relational structure
@@ -136,6 +189,7 @@
relational+structure
}
[[endorelation]] =,endorelation . endorelation
{
}
== homogeneous relation / endorelation ==
[[homogeneous_relation]] =,homogeneous_relation . homogeneous_relation[[endorelation]] =,endorelation . endorelation
{
@@ -152,7 +206,10 @@
Ggl:"homogeneous relation"
}
https://en.wikipedia.org/wiki/Symmetric_relation
symmetric relation
}
== symmetric relation ==
[[symmetric_relation]] =,symmetric_relation =,symmetric_relation . symmetric_relationsymmetric relation
WtEn:symmetric_relation x([[Date(2023-08-14T19:12:50)]])https://en.wikipedia.org/wiki/Symmetric_relation
symmetric relation
@@ -162,7 +219,8 @@
"symmetric relation"
Up: [[대칭성,symmetry]]
{
relation symbol
Up: [[대칭성,symmetry]]
relation symbol
== relation symbol ==
[[relation_symbol]] =,relation_symbol =,relation_symbol . relation_symbol{
relation symbol
@@ -181,34 +239,70 @@
}
https://mathworld.wolfram.com/ReflectionRelation.html
https://mathworld.wolfram.com/TranslationRelation.html
짧고 쉬움
https://mathworld.wolfram.com/RecurrenceRelation.html
REL
"When ..., known as recurrence_equation { https://mathworld.wolfram.com/RecurrenceEquation.html } s, or sometimes difference_equation s"
{
universal relation
''WpEn:Universal_relation redir. to: WpEn:Homogeneous_relation#Particular_homogeneous_relations''
보면 [[empty_relation]] [[identity_relation]]과 cmp tbw
~~WtEn:universal_relation~~ x [[Date(2023-08-22T21:15:01)]]
"universal relation"
}
{
closure relation
reflection_relation
== reflection relation ==
[[reflection_relation]] =,reflection_relation =,reflection_relation . reflection_relation
{
반사관계? -
reflection relationWtEn:reflection_relation ?
WpSp:Reflection_relation ?
WpEn:Reflection_relation ?
translation_relation
Ggl:"reflection relation definition"
}
== translation relation ==
[[translation_relation]] =,translation_relation =,translation_relation . translation_relation
{
translation relationWtEn:translation_relation ?
WpSp:translation_relation ?
WpEn:translation_relation ?
짧고 쉬움
recurrence_relation
"translation relation"
}
== recurrence relation ==
[[recurrence_relation]] =,recurrence_relation =,recurrence_relation . recurrence_relation
{
recurrence relationWtEn:recurrence_relation
WpSp:recurrence_relation ?
WpEn:recurrence_relation ?
REL
"When ..., known as recurrence_equation { https://mathworld.wolfram.com/RecurrenceEquation.html } s, or sometimes difference_equation s"
(VG: 점화식,recurrence_relation exists .... 다만 페이지를 [[점화관계,recurrence_relation]] [[recurrence_equation]]로 나눌 생각을 나도 하는 중.)
(VG: 점화식,recurrence_relation exists ([[VG:점화식,recurrence_relation]]) .... 다만 페이지를 [[점화관계,recurrence_relation]] [[recurrence_equation]]로 나눌 생각을 나도 하는 중.)
}
== universal relation ==
[[universal_relation]] =,universal_relation . universal_relation{
universal relation
''WpEn:Universal_relation redir. to: WpEn:Homogeneous_relation#Particular_homogeneous_relations''
보면 [[empty_relation]] [[identity_relation]]과 cmp tbw
WpSp:universal_relation ?
}
[[total_relation]] - cur at [[토털,total]]
== total relation ==
[[total_relation]] - cur at [[토털,total?action=highlight&value=total_relation]]
== closure relation ==
[[closure_relation]] =,closure_relation . closure_relation{
closure relation
@@ -217,6 +311,58 @@
"closure relation"
}
= 분야: relation theory ? relational theory ? =
}
== transitive relation ==
[[transitive_relation]] - curr at [[트랜지션,transition]]
rel [[transitivity]]
== antireflexive relation ==
aka antireflective_relation ?? chk Ggl:"antireflexive relation antireflexive relation"
[[antireflexive_relation]] =,antireflexive_relation =,antireflexive_relation . antireflexive_relation
{
antireflexive relation
https://proofwiki.org/wiki/Definition:Antireflexive_Relation
irreflexive 표현을 쓸 때도 있는데, non-reflexive와 혼동 가능하므로,
WtEn:antireflexive_relation
WpEn:Antireflexive_relation
Bing:"antireflexive relation"
Ggl:"antireflexive relation"
Naver:"antireflexive relation"
"antireflexive relation"
}
== sign relation ==
[[sign_relation]] =,sign_relation =,sign_relation . sign_relation
{
sign relation
[[WtEn:sign_relation]] = https://en.wiktionary.org/wiki/sign_relation x 2023-09-22
WpSp:Sign_relation ?
WpEn:Sign_relation ?
Ndict:"sign relation" ?
Ggl:부호관계 ?
[[부호,sign]]??
"sign relation"
}
== finitary relation ==
'''finitary relation'''
finitary_relation
MKL [[finitary_operation]]
Ggl:"finitary relation" Bing:"finitary relation"
== ADDHERE ==
== ADDHERE ==
== ADDHERE ==
'''''..... ADDHERE ......'''''= 분야: relation theory ? relational theory ? =
@@ -250,7 +396,7 @@
0 nullary
1 unary
2 binary
Compare:
1 unary
2 binary
3 ternary
3 ternary https://www.gabormelli.com/RKB/Ternary_Relation
일반적으로 n-aryCompare:
@@ -263,7 +409,7 @@
== '''relation''' vs correspondence ==
[[대응,correspondence]]
{
연관성, 적절한 정도, ... 지금 상황에 맞는지 여부를 따지는 그런 뉘앙스가 포함된 듯 한데
[[대응,correspondence]]
== relevance ==
== relation vs relevance ==
[[relevance]] =,relevance . relevance{
연관성, 적절한 정도, ... 지금 상황에 맞는지 여부를 따지는 그런 뉘앙스가 포함된 듯 한데
@@ -277,6 +423,12 @@
Bing:relevance
relevance
}
//tmp, delme - 대응관계(?) 라는 [[표현,expression]]에 대해 - '대응'과 '관계'와 '대응관계' 사이 관계를 명확히
{
relevance
}
== relation vs association ==
[[연관,association]]
'관계있는 것'과 '연관짓는 것'의 차이를 명확히 서술? 을 할까말까?
생각을 해보아야.. 아주 대충만 생각해보면, 어떤 주체subject가 '연관짓는 행동'을 한다면, 그 두 대상은 '관계있는 것'일 [[가능성,possibility]]이 높다.
= TAIL =
----//tmp, delme - 대응관계(?) 라는 [[표현,expression]]에 대해 - '대응'과 '관계'와 '대응관계' 사이 관계를 명확히
{
@@ -306,7 +458,6 @@
[[관계해석relational_calculus]]
----
Twins:
'''VG: 관계,relation'''
https://encyclopediaofmath.org/wiki/Relation
[[Libre:관계]]
[[Libre:관계_(수학)]]
----
Twins:
[[Libre:관계]]
[[Libre:관계_(수학)]]
@@ -322,4 +473,6 @@
https://mathworld.wolfram.com/Relation.html
[[VG:관계,relation]]
Sub:
semantic_relation =,semantic_relation . semantic_relation
lexical_relation =,lexical_relation . lexical_relation
semantic relation
https://www.gabormelli.com/RKB/Semantic_Relation
// semantic relation
semantic relation
word_sense_relation =,word_sense_relation . word_sense_relationhttps://www.gabormelli.com/RKB/Semantic_Relation
// semantic relation
![Ggl: Ggl:](/wiki/imgs/interwiki/ggl-16.png)
lexical_relation =,lexical_relation . lexical_relation
word sense relation
lexical relation
https://www.gabormelli.com/RKB/Word_Sense_Relation (Redirected from lexical relation)
// word sense relation
word sense relation
// lexical relation
lexical relation
...tbwlexical relation
https://www.gabormelli.com/RKB/Word_Sense_Relation (Redirected from lexical relation)
// word sense relation
![Ggl: Ggl:](/wiki/imgs/interwiki/ggl-16.png)
// lexical relation
![Ggl: Ggl:](/wiki/imgs/interwiki/ggl-16.png)
}
Contents
- 1. Def.
- 2. Sub:
- 2.1. (operand?의 개수? arity? 기준으로) 0, 1, 2, ....
- 2.2. inverse relation
- 2.3. satisfaction relation
- 2.4. one-to-many relation
- 2.5. many-to-one relation
- 2.6. many-to-many relation
- 2.7. relational structure
- 2.8. homogeneous relation / endorelation
- 2.9. symmetric relation
- 2.10. relation symbol
- 2.11. reflection relation
- 2.12. translation relation
- 2.13. recurrence relation
- 2.14. universal relation
- 2.15. total relation
- 2.16. closure relation
- 2.17. transitive relation
- 2.18. antireflexive relation
- 2.19. sign relation
- 2.20. finitary relation
- 2.21. ADDHERE
- 2.22. ADDHERE
- 2.23. ADDHERE
- 3. 분야: relation theory ? relational theory ?
- 4. MKLINK
- 5. 비슷? cmp.
- 6. TAIL
1. Def. ¶
정의:
집합,set(들)의 cartesian product(곱집합,product_set)의 부분집합,subset. (mw)
집합,set(들)의 cartesian product(곱집합,product_set)의 부분집합,subset. (mw)
그러니까 이렇게 정의해야 2-relation 말고도 1 3 4 5 ....로 일반화가능한거지? 근데 nullary relation은 그럼? chk
nullary relation definition ...
![Ggl: Ggl:](/wiki/imgs/interwiki/ggl-16.png)
2.1. (operand?의 개수? arity? 기준으로) 0, 1, 2, .... ¶
0인 경우도 존재.
https://en.wikipedia.org/wiki/Relation_of_degree_zero
"relation of degree zero, 0-ary relation, or nullary relation"
// arity / 디그리,degree / 영,zero
https://en.wikipedia.org/wiki/Relation_of_degree_zero
"relation of degree zero, 0-ary relation, or nullary relation"
// arity / 디그리,degree / 영,zero
1 unary_relation ?
2 이항관계,binary_relation
3, 4, ...
일반적 명칭? -
n-ary relation 해보니 나오긴 하는데
QQQ 'k-adic relation' 과 같은 거? ( logical_matrix 언급에서. https://oeis.org/wiki/Logical_matrix )
cf.
3, 4, ...
일반적 명칭? -
![Ggl: Ggl:](/wiki/imgs/interwiki/ggl-16.png)
QQQ 'k-adic relation' 과 같은 거? ( logical_matrix 언급에서. https://oeis.org/wiki/Logical_matrix )
cf.
(misc delme) 철자 혼동 주의: 이하 (in)finitiary 가 아니라 (in)finitary 임
(유한한 수)
finitary_relation =,finitary_relation . finitary_relation
∞ infinitary_relation
finitary_relation =,finitary_relation . finitary_relation
{
finitary relation
https://www.gabormelli.com/RKB/Finitary_Relation
Finitary_relation
finitary_relation x 2023-08-22
} // finitary relation ...
finitary relation
그럼 infinitary_relation 라는 것도 존재? QQQfinitary relation
https://www.gabormelli.com/RKB/Finitary_Relation
![WpEn: WpEn:](/wiki/imgs/interwiki/wpen-16.png)
![WtEn: WtEn:](/wiki/imgs/interwiki/wten-16.png)
} // finitary relation ...
![Ggl: Ggl:](/wiki/imgs/interwiki/ggl-16.png)
∞ infinitary_relation
infinitary relation
...
ndict x 2023-08-22
infinitary relation
infinitary relation
infinitary relation
https://en.wikipedia.org/wiki/Infinitary_relation - doesn't exist - 2023-08-22
별도 항목으로 따로 둔 사전/백과/위키는 없는 듯 하고 대개 finitary_relation 에서 같이 설명함.
See:
https://math.libretexts.org/Bookshelves/Combinatorics_and_Discrete_Mathematics/A_Cool_Brisk_Walk_Through_Discrete_Mathematics_(Davies)/03:_Relations/3.4:_Finite_and_infinite_relations
직접 관련된건 아니지만 see also:
https://en.wikipedia.org/wiki/Infinitary_combinatorics
rel:
무한집합,infinite_set
"infinitary relation"
-1, -2, ..., 유리수, 실수 이런건 meaningless? cardinal_number에만 의미있음? or expandable?...
ndict x 2023-08-22
![Naver: Naver:](/wiki/imgs/interwiki/naver-16.png)
![Bing: Bing:](/wiki/imgs/interwiki/bing-16.png)
![Google: Google:](/wiki/imgs/interwiki/google-16.png)
https://en.wikipedia.org/wiki/Infinitary_relation - doesn't exist - 2023-08-22
별도 항목으로 따로 둔 사전/백과/위키는 없는 듯 하고 대개 finitary_relation 에서 같이 설명함.
See:
https://math.libretexts.org/Bookshelves/Combinatorics_and_Discrete_Mathematics/A_Cool_Brisk_Walk_Through_Discrete_Mathematics_(Davies)/03:_Relations/3.4:_Finite_and_infinite_relations
직접 관련된건 아니지만 see also:
https://en.wikipedia.org/wiki/Infinitary_combinatorics
rel:
무한집합,infinite_set
"infinitary relation"
....
2.2. inverse relation ¶
![WtEn: WtEn:](/wiki/imgs/interwiki/wten-16.png)
![WpEn: WpEn:](/wiki/imgs/interwiki/wpen-16.png)
https://proofwiki.org/wiki/Definition:Inverse_Relation
![Bing: Bing:](/wiki/imgs/interwiki/bing-16.png)
![Ggl: Ggl:](/wiki/imgs/interwiki/ggl-16.png)
인버스,inverse
2.3. satisfaction relation ¶
만족
이것보다 관련표현인 satisfiability 가 매우 자주 보인다... 아래.
관련표현
}
satisfactory adj. 만족스러운
satisfiability n. - 보통 '충족가능성'으로 번역하는 게 대세인듯. // or 충족여부 만족가능성 만족여부 ?? // =,satisfiability =,satisfiability . satisfiability
satisfiability x 2023-08-25
satisfiability = https://en.wiktionary.org/wiki/satisfiability
https://en.wikipedia.org/wiki/Satisfiability
esp Boolean_satisfiability Boolean satisfiability (이걸 줄여서 SAT ?)
satisfiability_problem =,satisfiability_problem . satisfiability_problem
https://mathworld.wolfram.com/Satisfaction.htmlsatisfiability n. - 보통 '충족가능성'으로 번역하는 게 대세인듯. // or 충족여부 만족가능성 만족여부 ?? // =,satisfiability =,satisfiability . satisfiability
![KmsE: KmsE:](/wiki/imgs/interwiki/kmse-16.png)
![WtEn: WtEn:](/wiki/imgs/interwiki/wten-16.png)
https://en.wikipedia.org/wiki/Satisfiability
esp Boolean_satisfiability Boolean satisfiability (이걸 줄여서 SAT ?)
satisfiability_problem =,satisfiability_problem . satisfiability_problem
satisfiability problem (이걸 줄여서 SAT ?)
rel conjunctive_normal 논리곱 정규형 ..
Sub
2-SAT
3-SAT
4-SAT etc
the first known NP-complete problem (Stephen_Cook 1971)
rel conjunctive_normal 논리곱 정규형 ..
Sub
2-SAT
3-SAT
4-SAT etc
the first known NP-complete problem (Stephen_Cook 1971)
}
https://planetmath.org/satisfactionrelation
satisfaction relation
satisfaction relation
"satisfaction relation"
} // satisfaction_relation
![Ndict: Ndict:](/wiki/imgs/interwiki/ndict-16.png)
![Ggl: Ggl:](/wiki/imgs/interwiki/ggl-16.png)
"satisfaction relation"
} // satisfaction_relation
2.4. one-to-many relation ¶
2.5. many-to-one relation ¶
many-to-one_relation =,many-to-one_relation . many-to-one_relation
{
many-to-one relation
다대일 관계 ?
https://proofwiki.org/wiki/Definition:Many-to-One_Relation
다대일 관계
다대일 관계
다대일 관계
many-to-one relation
}
{
many-to-one relation
다대일 관계 ?
https://proofwiki.org/wiki/Definition:Many-to-One_Relation
![Ndict: Ndict:](/wiki/imgs/interwiki/ndict-16.png)
![Ggl: Ggl:](/wiki/imgs/interwiki/ggl-16.png)
![Bing: Bing:](/wiki/imgs/interwiki/bing-16.png)
![Ggl: Ggl:](/wiki/imgs/interwiki/ggl-16.png)
}
2.6. many-to-many relation ¶
many-to-many_relation =,many-to-many_relation . many-to-many_relation
{
many-to-many relation
다대다 관계?
{
many-to-many relation
다대다 관계?
2.7. relational structure ¶
relational_structure =,relational_structure . relational_structure
{
relational structure
relational_structure (x 2023-08-15)
https://xlinux.nist.gov/dads/HTML/relational.html
{
relational structure
![WtEn: WtEn:](/wiki/imgs/interwiki/wten-16.png)
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 https://planetmath.org/relationalsystem
relational system }
endorelation 으로 정의함. 그게뭐야? not in ndict. 구글해보니 aka homogeneous_relation.
https://ncatlab.org/nlab/show/relational structure![Ggl: Ggl:](/wiki/imgs/interwiki/ggl-16.png)
endorelation 으로 정의함. 그게뭐야? not in ndict. 구글해보니 aka homogeneous_relation.
Up: 구조,structure > mathematical_structure
relational structure
relational structure
relational+structure
}
![Ggl: Ggl:](/wiki/imgs/interwiki/ggl-16.png)
![Bing: Bing:](/wiki/imgs/interwiki/bing-16.png)
relational+structure
}
2.8. homogeneous relation / endorelation ¶
homogeneous_relation =,homogeneous_relation . homogeneous_relation
endorelation =,endorelation . endorelation
{
homogeneous relation
AKA
endorelation
endorelation =,endorelation . endorelation
{
homogeneous relation
AKA
endorelation
"on a set X is a binary_relation between X and itself" (we)
즉 동일 집합간 이항관계,binary_relation - cartesian product $\displaystyle X\times X$ 의 subset.
즉 동일 집합간 이항관계,binary_relation - cartesian product $\displaystyle X\times X$ 의 subset.
2.9. symmetric relation ¶
symmetric_relation =,symmetric_relation =,symmetric_relation . symmetric_relation
symmetric relation
symmetric_relation x(2023-08-15)
https://en.wikipedia.org/wiki/Symmetric_relation
symmetric relation
대칭관계 ?
symmetric relation
symmetric relation
"symmetric relation"
Up: 대칭성,symmetry
symmetric relation
![WtEn: WtEn:](/wiki/imgs/interwiki/wten-16.png)
https://en.wikipedia.org/wiki/Symmetric_relation
symmetric relation
대칭관계 ?
![KmsE: KmsE:](/wiki/imgs/interwiki/kmse-16.png)
![Ggl: Ggl:](/wiki/imgs/interwiki/ggl-16.png)
"symmetric relation"
Up: 대칭성,symmetry
2.10. relation symbol ¶
relation_symbol =,relation_symbol =,relation_symbol . relation_symbol
{
relation symbol
aka: = predicate_symbol = predicate_letter
{
relation symbol
aka: = predicate_symbol = predicate_letter
via:
https://encyclopediaofmath.org/wiki/Relation_symbol
redir. to
https://encyclopediaofmath.org/wiki/Predicate_symbol
https://encyclopediaofmath.org/wiki/Relation_symbol
redir. to
https://encyclopediaofmath.org/wiki/Predicate_symbol
2.11. reflection relation ¶
reflection_relation =,reflection_relation =,reflection_relation . reflection_relation
{
반사관계? -
reflection relation
{
반사관계? -
reflection relation
2.12. translation relation ¶
translation_relation =,translation_relation =,translation_relation . translation_relation
{
translation relation
{
translation relation
"translation relation"
}
}
2.13. recurrence relation ¶
recurrence_relation =,recurrence_relation =,recurrence_relation . recurrence_relation
{
recurrence relation
{
recurrence relation
https://mathworld.wolfram.com/RecurrenceRelation.html
REL
"When ..., known as recurrence_equation { https://mathworld.wolfram.com/RecurrenceEquation.html } s, or sometimes difference_equation s"
(VG: 점화식,recurrence_relation exists (
점화식,recurrence_relation) .... 다만 페이지를 점화관계,recurrence_relation recurrence_equation로 나눌 생각을 나도 하는 중.)
}
REL
"When ..., known as recurrence_equation { https://mathworld.wolfram.com/RecurrenceEquation.html } s, or sometimes difference_equation s"
(VG: 점화식,recurrence_relation exists (
![VG: VG:](/wiki/imgs/interwiki/vg-16.png)
}
2.14. universal relation ¶
![WpEn: WpEn:](/wiki/imgs/interwiki/wpen-16.png)
![WpEn: WpEn:](/wiki/imgs/interwiki/wpen-16.png)
![WtEn: WtEn:](/wiki/imgs/interwiki/wten-16.png)
![WpSp: WpSp:](/wiki/imgs/interwiki/wpsp-16.png)
"universal relation"
}
}
2.16. closure relation ¶
closure_relation =,closure_relation . closure_relation
{
closure relation
https://mathworld.wolfram.com/ClosureRelation.html
closure_relation x
"closure relation"
}
{
closure relation
https://mathworld.wolfram.com/ClosureRelation.html
![WtEn: WtEn:](/wiki/imgs/interwiki/wten-16.png)
"closure relation"
}
2.18. antireflexive relation ¶
aka antireflective_relation ?? chk
antireflexive relation antireflexive relation
antireflexive_relation =,antireflexive_relation =,antireflexive_relation . antireflexive_relation
{
antireflexive relation
![Ggl: Ggl:](/wiki/imgs/interwiki/ggl-16.png)
antireflexive_relation =,antireflexive_relation =,antireflexive_relation . antireflexive_relation
{
antireflexive relation
https://proofwiki.org/wiki/Definition:Antireflexive_Relation
antireflexive_relation
Antireflexive_relation
irreflexive 표현을 쓸 때도 있는데, non-reflexive와 혼동 가능하므로,
![WtEn: WtEn:](/wiki/imgs/interwiki/wten-16.png)
![WpEn: WpEn:](/wiki/imgs/interwiki/wpen-16.png)
2.19. sign relation ¶
![WtEn: WtEn:](/wiki/imgs/interwiki/wten-16.png)
![WpSp: WpSp:](/wiki/imgs/interwiki/wpsp-16.png)
![WpEn: WpEn:](/wiki/imgs/interwiki/wpen-16.png)
부호,sign??
"sign relation"
}
}
3. 분야: relation theory ? relational theory ? ¶
relation theory
"relation theory"
"relation theory"
https://proofwiki.org/wiki/Definition:Relation_Theory
https://proofwiki.org/wiki/Category:Relation_Theory
https://proofwiki.org/wiki/Category:Relation_Theory
... aka relational_theory ?
2023-08-15:
Relational_theory - No,
nlab에서 여기로 링크했으나 아님.
Relation_theory - 페이지없음.
2023-08-15:
![WpEn: WpEn:](/wiki/imgs/interwiki/wpen-16.png)
![[https]](/wiki/imgs/https.png)
![WpEn: WpEn:](/wiki/imgs/interwiki/wpen-16.png)
4.1. arity ¶
arity =,arity . arity
{
Arity - "is the number of arguments or operands taken by a function, operation or relation" 즉 함수,function 펑션,function 연산,operation 관계,relation가 가지는 성질. 자료구조,data_structure or ADT : 배열,array등도?
{
![WpEn: WpEn:](/wiki/imgs/interwiki/wpen-16.png)
6. TAIL ¶
//tmp, delme - 대응관계(?) 라는 표현,expression에 대해 - '대응'과 '관계'와 '대응관계' 사이 관계를 명확히
{
대응관계 x
대응관계
대응관계
대응관계
대응관계
대응관계
대응관계
대응관계
대응관계
대응관계
대응관계
대응관계
}
{
![KmsK: KmsK:](/wiki/imgs/interwiki/kmsk-16.png)
![KpsK: KpsK:](/wiki/imgs/interwiki/kpsk-16.png)
![KcsK: KcsK:](/wiki/imgs/interwiki/kcsk-16.png)
![Zeta: Zeta:](/wiki/imgs/interwiki/zeta-16.png)
![Libre: Libre:](/wiki/imgs/interwiki/libre-16.png)
![Namu: Namu:](/wiki/imgs/interwiki/namu-16.png)
![WpKo: WpKo:](/wiki/imgs/interwiki/wpko-16.png)
![Ndict: Ndict:](/wiki/imgs/interwiki/ndict-16.png)
![Google: Google:](/wiki/imgs/interwiki/google-16.png)
![HashKr: HashKr:](/wiki/imgs/interwiki/hashkr-16.png)
![YouTube: YouTube:](/wiki/imgs/interwiki/youtube-16.png)
![Srch: Srch:](/wiki/imgs/interwiki/srch-16.png)
}
// tmp delme. These pages share a similar word...
릴레이션relation
릴레이션스키마relation_schema
릴레이션인스턴스relation_instance
미분가능성과_연속성의_관계
속도,각속도,파장,진동수,주기의 관계
관계relationship
관계대수relational_algebra
관계데이터연산relationship_data_operation
관계해석relational_calculus
릴레이션relation
릴레이션스키마relation_schema
릴레이션인스턴스relation_instance
미분가능성과_연속성의_관계
속도,각속도,파장,진동수,주기의 관계
관계relationship
관계대수relational_algebra
관계데이터연산relationship_data_operation
관계해석relational_calculus
![WpSp: WpSp:](/wiki/imgs/interwiki/wpsp-16.png)
= https://simple.wikipedia.org/wiki/Relation_(mathematics)
= https://simple.wikipedia.org/wiki/Relation_(mathematics)
Up: relation_theory