Sub: //이하몇개는 [[언어학,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 } ---- <> = 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인 경우도 존재. 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]] [[동치관계,equivalence_relation]] -> [[VG:동치관계,equivalence_relation]] 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''' https://www.gabormelli.com/RKB/Finitary_Relation WpEn:Finitary_relation --WtEn:finitary_relation-- x 2023-08-22 } // finitary relation ... Ggl:"finitary relation" ''그럼 infinitary_relation 라는 것도 존재?'' QQQ ∞ infinitary_relation infinitary relation ... ndict x 2023-08-22 Naver:infinitary+relation Bing:infinitary+relation Google: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%3A_Relations/3.4%3A_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?'' .... == inverse relation == [[inverse_relation]] =,inverse_relation . inverse_relation inverse relation 인버스관계 역관계 ? WtEn:inverse_relation x [[Date(2023-08-21T03:09:03)]] 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 가 매우 자주 보인다... 아래. 관련표현 satisfactory adj. 만족스러운 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 ?) rel conjunctive_normal 논리곱 정규형 .. Sub 2-SAT 3-SAT 4-SAT etc the first known NP-complete problem (Stephen_Cook 1971) https://mathworld.wolfram.com/Satisfaction.html } https://planetmath.org/satisfactionrelation Ndict:"satisfaction relation" Ggl:"satisfaction relation" "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 다대일 관계 ? https://proofwiki.org/wiki/Definition:Many-to-One_Relation Ndict:"다대일 관계" Ggl:"다대일 관계" Bing:"다대일 관계" 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:"다대다 관계" Bing:"다대다 관계" Ggl:"다대다 관계" Ggl:"many-to-many relation" } == relational structure == [[relational_structure]] =,relational_structure . relational_structure { relational structure WtEn:relational_structure (x [[Date(2023-08-14T19:12:50)]]) https://xlinux.nist.gov/dads/HTML/relational.html WpEn:Relational_structure ''- redir. to https://en.wikipedia.org/wiki/Structure_%28mathematical_logic%29'' 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 Ggl:"relational system" } endorelation 으로 정의함. 그게뭐야? not in ndict. 구글해보니 aka homogeneous_relation. https://ncatlab.org/nlab/show/relational+structure Up: [[구조,structure]] > [[mathematical_structure]] Ggl:relational+structure Bing:relational+structure relational+structure } == homogeneous relation / endorelation == [[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 $X\times X$ 의 subset. https://en.wikipedia.org/wiki/Homogeneous_relation ... Ggl:endorelation 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 대칭관계 ? KmsE:"symmetric relation" Ggl:"symmetric relation" "symmetric relation" Up: [[대칭성,symmetry]] == relation symbol == [[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 Bing:"relation symbol" Ggl:"relation symbol" "relation symbol" } == 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 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 짧고 쉬움 "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 ([[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 == [[total_relation]] - cur at [[토털,total?action=highlight&value=total_relation]] == closure relation == [[closure_relation]] =,closure_relation . closure_relation { closure relation https://mathworld.wolfram.com/ClosureRelation.html WtEn:closure_relation x "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 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 ? = relation theory "relation theory" Up: relation_theory =,relation_theory . relation_theory { 관계론 관계이론 WtEn:relation_theory KmsE:relation https://proofwiki.org/wiki/Definition:Relation_Theory https://proofwiki.org/wiki/Category:Relation_Theory [[관계,relation]] [[이론,theory]] } ... aka relational_theory ? [[Date(2023-08-14T19:12:50)]]: WpEn:Relational_theory - No, [[https://ncatlab.org/nlab/show/relational+structure nlab]]에서 여기로 링크했으나 아님. WpEn:Relation_theory - 페이지없음. = MKLINK = == arity == [[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 https://www.gabormelli.com/RKB/Ternary_Relation 일반적으로 n-ary Compare: [[차원,dimension]] [[valency]] ... [[WpEn:Valency_(linguistics)]] [[cardinality]] ... [[WpEn:Cardinality]] } = 비슷? cmp. = == '''relation''' vs correspondence == [[대응,correspondence]] == relation vs relevance == [[relevance]] =,relevance . relevance { 연관성, 적절한 정도, ... 지금 상황에 맞는지 여부를 따지는 그런 뉘앙스가 포함된 듯 한데 WtEn:relevance NdEn:relevance KmsE:relevance Ndict:relevance Ggl:relevance Bing:relevance relevance } == relation vs association == [[연관,association]] '관계있는 것'과 '연관짓는 것'의 차이를 명확히 서술? 을 할까말까? 생각을 해보아야.. 아주 대충만 생각해보면, 어떤 주체subject가 '연관짓는 행동'을 한다면, 그 두 대상은 '관계있는 것'일 [[가능성,possibility]]이 높다. = TAIL = ---- //tmp, delme - 대응관계(?) 라는 [[표현,expression]]에 대해 - '대응'과 '관계'와 '대응관계' 사이 관계를 명확히 { KmsK:대응관계 x KpsK:대응관계 KcsK:대응관계 Zeta:대응관계 Libre:대응관계 Namu:대응관계 WpKo:대응관계 Ndict:대응관계 Google:대응관계 HashKr:대응관계 YouTube:대응관계 Srch:대응관계 } ---- // tmp delme. ''These pages share a similar word...'' [[릴레이션relation]] [[릴레이션스키마relation_schema]] [[릴레이션인스턴스relation_instance]] [[미분가능성과_연속성의_관계]] [[속도,각속도,파장,진동수,주기의 관계]] [[관계relationship]] [[관계대수relational_algebra]] [[관계데이터연산relationship_data_operation]] [[관계해석relational_calculus]] ---- Twins: https://encyclopediaofmath.org/wiki/Relation [[Libre:관계]] [[Libre:관계_(수학)]] [[Namu:관계]] [[WpKo:관계_(수학)]] ... corresp wpen : [[WpEn:Finitary_relation]] [[WpSp:Relation_(mathematics)]] = https://simple.wikipedia.org/wiki/Relation_(mathematics) = https://simple.wikipedia.org/wiki/Relation_%28mathematics%29 https://proofwiki.org/wiki/Definition:Relation https://mathworld.wolfram.com/Relation.html [[VG:관계,relation]] Up: [[relation_theory]]