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

Sub:

1 unary_relation ?

2 이항관계,binary_relation
3, 4, ...
일반적 명칭? - n-ary 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

....

inverse_relation =,inverse_relation . inverse_relation
inverse relation
inverse_relation x 2023-08-21
Inverse_relation - disambig
https://proofwiki.org/wiki/Definition:Inverse_Relation
inverse relation
inverse relation
인버스,inverse

satisfaction_relation =,satisfaction_relation . satisfaction_relation
{
satisfaction relation
https://planetmath.org/satisfactionrelation
satisfaction relation
satisfaction relation

REL
satisfaction =,satisfaction . satisfaction
} // 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-many_relation =,many-to-many_relation . many-to-many_relation
{
다대다 관계?

다대다 관계
다대다 관계
다대다 관계
many-to-many relation
}

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

Relational_structure - redir. to https://en.wikipedia.org/wiki/Structure_(mathematical_logic)

https://proofwiki.org/wiki/Definition:Relational_Structure
https://ncatlab.org/nlab/show/relational structure

Up: 구조,structure > mathematical_structure
relational structure
relational structure
relational+structure
}

homogeneous_relation =,homogeneous_relation . homogeneous_relation
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.

https://en.wikipedia.org/wiki/Homogeneous_relation
...
endorelation
homogeneous 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

relation_symbol =,relation_symbol =,relation_symbol . relation_symbol
{
relation symbol
aka: = predicate_symbol = predicate_letter

MKL: 심벌,symbol letter 술어,predicate

via:
https://encyclopediaofmath.org/wiki/Relation_symbol
redir. to
https://encyclopediaofmath.org/wiki/Predicate_symbol

relation symbol
relation symbol
"relation symbol"
}

reflection_relation
reflection relation
https://mathworld.wolfram.com/ReflectionRelation.html

translation_relation
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로 나눌 생각을 나도 하는 중.)

..... ADDHERE ......