동치관계,equivalence_relation




비공집합,nonempty_set에 대한 관계,relation에서 ..... 이런 세 조건을 만족하면 이거? chk
Sub:
partial_equivalence_relation (PER)
{
partial equivalence relation
부분동치관계 ?




MKLINK
행동치,row_equivalence
열동치,column_equivalence - 이 둘은 두 행렬,matrix 연산,operation#s-5에서...
페아노_공리,Peano_axiom에서 (정의에 따라 다른데, 8가지 정도를 나열하는 경우엔) 앞부분(3~4가지)에 이것(동치관계)을 넣기도 한다. i.e. 자연수,natural_number 정의 시에 이게 언급되기도 함.
페아노 공리를 5가지로 정의할 때는 물론 동치관계는 빠짐...






분류
동치관계이항관계,binary_relation의 일종.