한 행렬,matrix에 기본행연산,elementary_row_operation,ERO을 유한번 취하여 다른 행렬을 만들 수 있을 때, 두 행렬은 행 동치 관계이다.

TOLINK:
가우스_소거,Gaussian_elimination
행사다리꼴

AKA: 행상등이라는 번역도 쓰임.

TOFORK:
동치관계,equivalence_relation
{
같다는 개념을 추상화한 것. 이항관계,binary_relation의 일종.
이항관계가 반사성reflexive(a~a) 대칭성symmetric(a~b then b~a) 추이성transitive(a~b and b~c then a~c) 셋을 만족하면 이항관계 ~는 동치관계이다.
// tmp copy from 동치관계.
현재 goto 관계,relation에 설명 있음.
}

Up: