• 관계,relation
       2 [[이항관계,binary_relation]]
        [[이항관계,binary_relation]]의 일종
       즉 동일 집합간 [[이항관계,binary_relation]] - cartesian product $X\times X$ 의 subset.
• 대응,correspondence
        (대체적으로) 같은 [[타입,type]]의 두 ([[집합,set]]이나 [[구조,structure]]) 사이 [[이항관계,binary_relation]] [[개념,notion]]의 [[일반화,generalization]].
• 대칭성,symmetry
       [[관계,relation]] > [[이항관계,binary_relation]] 의 일종. (we)
• 동치,equivalence
       Up: [[동치,equivalence]], [[관계,relation]] > [[이항관계,binary_relation]]
• 동치관계,equivalence_relation
       [[이항관계,binary_relation]]의 일종. 어떤 이항관계 ~가 임의의 a,b,c에 대해
• 반사성,reflexivity
       [[이항관계,binary_relation]]가 [[동치관계,equivalence_relation]]일 세 조건 중 하나.
• 부분순서,partial_order
       [[집합,set]] A의 원소들 간에 [[이항관계,binary_relation]] R이 있는데, R이 다음 세 조건을 만족하면, 순서쌍(2-tuple) (A, R)은 '''부분순서집합'''.
        Up: [[반사성,reflexivity]] =반사성,reflexivity =,reflexivity . 반사성 reflexivity { 반사성 via KmsE:reflexivity WtEn:reflexivity Ggl:reflexivity Up: [[성질,property]](of [[이항관계,binary_relation]] only? QQQ) ... see also https://en.wiktionary.org/wiki/reflexive } [[관계,relation]]
       [[이항관계,binary_relation]]
• 부분함수,partial_function
       [[functional_relation]](curr at [[이항관계,binary_relation]])
• 순서,order
       [[순서관계,order_relation]] - [[관계,relation]] ? 아님 순서가 곧 이항관계? ( Up: [[이항관계,binary_relation]]? )
       [[이항관계,binary_relation]] ≤와 집합과 네 조건으로 정의함.
• 추이성,transitivity
        Up: [[이항관계,binary_relation]]
        Up: [[이항관계,binary_relation]]
• 클로저,closure
       [[관계,relation]] > [[이항관계,binary_relation]]
• 행렬,matrix
       이러한 행렬은 한 쌍의 유한 집합 사이의 이진 관계(''[[이항관계,binary_relation]]'')를 나타 내기 위해 사용될 수 있다."(wk)

You can also click here to search title.