Difference between r1.29 and the current

@@ -1,7 +1,37 @@

~~정의: [[집합,set]](들)의 cartesian product([[곱집합,product_set]], VG: 곱집합,product_set )의 [[부분집합,subset]]. (mw)~~

Sub:

//수학

[[합동관계,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인 경우도 존재.

@@ -17,18 +47,20 @@

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

~~Ggl:"finitary relation"~~

--WtEn:finitary_relation-- x 2023-08-22

"finitary relation"

} // finitary relation ... Ggl:"finitary relation"

''그럼 infinitary_relation 라는 것도 존재?''

''그럼 infinitary_relation 라는 것도 존재?'' QQQ

∞ infinitary_relation
infinitary relation
...

@@ -50,25 +82,29 @@

....

== inverse relation ==

[[inverse_relation]] =,inverse_relation . inverse_relation
inverse 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_Relation
Bing:"inverse relation"
Ggl:"inverse relation"
[[인버스,inverse]]

== satisfaction relation ==

[[satisfaction_relation]] =,satisfaction_relation . satisfaction_relation
{
satisfaction relation

REL
[[satisfaction]] =,satisfaction . satisfaction {

KmsE:satisfaction : ?

만족

이것보다 관련표현인 satisfiability 가 매우 자주 보인다... 아래.

@@ -97,7 +133,18 @@

"satisfaction 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

@@ -109,8 +156,10 @@

Ggl:"many-to-one relation"
}

== many-to-many relation ==

[[many-to-many_relation]] =,many-to-many_relation . many-to-many_relation
{

many-to-many relation

다대다 관계?

Ndict:"다대다 관계"

@@ -119,6 +168,7 @@

Ggl:"many-to-many relation"
}

== relational structure ==

[[relational_structure]] =,relational_structure . relational_structure
{
relational structure

@@ -139,6 +189,7 @@

relational+structure
}

== homogeneous relation / endorelation ==

[[homogeneous_relation]] =,homogeneous_relation . homogeneous_relation
[[endorelation]] =,endorelation . endorelation
{

@@ -155,7 +206,10 @@

Ggl:"homogeneous relation"
}

== symmetric relation ==

[[symmetric_relation]] =,symmetric_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

@@ -165,7 +219,8 @@

"symmetric relation"
Up: [[대칭성,symmetry]]

relation symbol

== relation symbol ==

[[relation_symbol]] =,relation_symbol =,relation_symbol . relation_symbol
{
relation symbol

@@ -184,34 +239,70 @@

}

reflection_relation

== reflection relation ==

[[reflection_relation]] =,reflection_relation =,reflection_relation . reflection_relation

{

반사관계? -

reflection relation

WtEn:reflection_relation ?

WpSp:Reflection_relation ?

WpEn:Reflection_relation ?

https://mathworld.wolfram.com/ReflectionRelation.html

translation_relation

Ggl:"reflection relation definition"

}

== translation relation ==

[[translation_relation]] =,translation_relation =,translation_relation . translation_relation

{

translation relation

WtEn:translation_relation ?

WpSp:translation_relation ?

WpEn:translation_relation ?

https://mathworld.wolfram.com/TranslationRelation.html
짧고 쉬움

recurrence_relation

"translation relation"

}

== recurrence relation ==

[[recurrence_relation]] =,recurrence_relation =,recurrence_relation . recurrence_relation

{

recurrence relation

WtEn:recurrence_relation

WpSp:recurrence_relation ?

WpEn: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_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

~~WtEn:universal_relation~~ x [[Date(2023-08-22T21:15:01)]]

WpSp:universal_relation ?

"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

@@ -220,8 +311,12 @@

"closure relation"
}

== 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

@@ -237,6 +332,37 @@

"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 ......'''''

= 분야: relation theory ? relational theory ? =

@@ -270,7 +396,7 @@

0 nullary
1 unary
2 binary

3 ternary

3 ternary https://www.gabormelli.com/RKB/Ternary_Relation

일반적으로 n-ary

Compare:

@@ -283,7 +409,7 @@

== '''relation''' vs correspondence ==
[[대응,correspondence]]

== relevance ==

== relation vs relevance ==

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

@@ -297,6 +423,12 @@

Bing:relevance
relevance
}

== relation vs association ==

[[연관,association]]

'관계있는 것'과 '연관짓는 것'의 차이를 명확히 서술? 을 할까말까?

생각을 해보아야.. 아주 대충만 생각해보면, 어떤 주체subject가 '연관짓는 행동'을 한다면, 그 두 대상은 '관계있는 것'일 [[가능성,possibility]]이 높다.

= TAIL =

----
//tmp, delme - 대응관계(?) 라는 [[표현,expression]]에 대해 - '대응'과 '관계'와 '대응관계' 사이 관계를 명확히
{

@@ -326,7 +458,6 @@

[[관계해석relational_calculus]]
----
Twins:

~~'''VG: 관계,relation'''~~

https://encyclopediaofmath.org/wiki/Relation
[[Libre:관계]]
[[Libre:관계_(수학)]]

@@ -342,4 +473,6 @@

https://mathworld.wolfram.com/Relation.html

[[VG:관계,relation]]

Up: [[relation_theory]]

Sub:

//수학
합동관계,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

conceptual relation

// semantic relation

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

word sense relation
// lexical relation

lexical relation

...tbw

}

1. Def.

2. Sub: