Sub:
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 ?
(misc delme) 철자 혼동 주의: 이하 (in)finitiary 가 아니라 (in)finitary 임
(유한한 수)
finitary_relation =,finitary_relation . finitary_relation
∞ infinitary_relation
finitary_relation =,finitary_relation . finitary_relation
finitary relation
Finitary_relation
finitary relation
finitary_relation x 2023-08-22
"finitary relation"
그럼 infinitary_relation 라는 것도 존재?![WpEn: WpEn:](/wiki/imgs/interwiki/wpen-16.png)
![Ggl: Ggl:](/wiki/imgs/interwiki/ggl-16.png)
![WtEn: WtEn:](/wiki/imgs/interwiki/wten-16.png)
"finitary relation"
∞ 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"
....
![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
이것보다 관련표현인 satisfiability 가 매우 자주 보인다... 아래.
관련표현
}
satisfactory adj. 만족스러운
satisfiability n. - 보통 '충족가능성'으로 번역하는 게 대세인듯. // or 충족여부 만족가능성 만족여부 ??
satisfiability = https://en.wiktionary.org/wiki/satisfiability
esp Boolean_satisfiability Boolean satisfiability (이걸 줄여서 SAT ?)
satisfiability_problem =,satisfiability_problem . satisfiability_problem
https://mathworld.wolfram.com/Satisfaction.htmlsatisfiability n. - 보통 '충족가능성'으로 번역하는 게 대세인듯. // or 충족여부 만족가능성 만족여부 ??
![WtEn: WtEn:](/wiki/imgs/interwiki/wten-16.png)
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
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)
}
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
}
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.
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
![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
relation symbol
relation_symbol =,relation_symbol =,relation_symbol . relation_symbol
{
relation symbol
aka: = predicate_symbol = predicate_letter
relation_symbol =,relation_symbol =,relation_symbol . relation_symbol
{
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
translation_relation
translation relation
https://mathworld.wolfram.com/TranslationRelation.html
짧고 쉬움
translation relation
https://mathworld.wolfram.com/TranslationRelation.html
짧고 쉬움
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_equation로 나눌 생각을 나도 하는 중.)
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로 나눌 생각을 나도 하는 중.)
![WpEn: WpEn:](/wiki/imgs/interwiki/wpen-16.png)
![WpEn: WpEn:](/wiki/imgs/interwiki/wpen-16.png)
![WtEn: WtEn:](/wiki/imgs/interwiki/wten-16.png)
"universal 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"
}
..... ADDHERE ......
분야: 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)
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)
0 nullary
1 unary
2 binary
3 ternary
일반적으로 n-ary
1 unary
2 binary
3 ternary
일반적으로 n-ary
relevance ¶
//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