동치관계,equivalence_relation

Difference between r1.17 and the current

@@ -10,21 +10,26 @@
[[추이성,transitivity]]

Sub:
[[partial_equivalence_relation]]
[[partial_equivalence_relation]] (PER)
{
'''partial equivalence relation'''
부분동치관계 ?

https://foldoc.org/partial+equivalence+relation
[[WpEn:Partial_equivalence_relation]]
https://ncatlab.org/nlab/show/partial+equivalence+relation
... Google:"partial equivalence relation"

Up: [[부분,part]](or partial_) [[동치관계,equivalence_relation]]
}
Up: [[부분,part]]??(or partial_) [[동치관계,equivalence_relation]]
} // partial equivalence relation ... Bing:"partial equivalence relation" Google:"partial equivalence relation"

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

----
Bmks ko
https://chocobear.tistory.com/19

@@ -42,5 +47,4 @@
'''동치관계'''는 [[이항관계,binary_relation]]의 일종.

[[동치,equivalence]] [[관계,relation]]





비공집합,nonempty_set에 대한 관계,relation에서 ..... 이런 세 조건을 만족하면 이거? chk
반사성,reflexivity
대칭성,symmetry
추이성,transitivity

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의 일종.