전단사,bijection - VeryGoodWiki

일대일대응,one-to-one_correspondence과 완전 동일한 뜻? chk

see https://encyclopediaofmath.org/wiki/One-to-one_correspondence
Yes, wpen 처음문장 "In mathematics, a bijection, also known as a bijective function, one-to-one correspondence, or invertible function, is..."

함수가 injection and surjection 두 조건을 만족시키면 바로 이것? chk - Yes. "A bijection is a function that is both one-to-one and onto."

For
전사,surjection 전사함수,surjective_function
단사,injection 단사함수,injective_function
전단사,bijection 전단사함수,bijective_function

bijection
bijective adj.

curr. see: 함수,function#s-5 and/or 사상,map

https://encyclopediaofmath.org/wiki/Bijection
https://planetmath.org/bijection

//planetmath
$f:X\to X$ 이고 $f$ 가 전단사이면, $f$ 를 $X$ 의 permutation이라고 부른다.
이건 순열,permutation보다는 치환,permutation이라는 번역이 어울릴 지? 아님 상관 없나?

http://foldoc.org/bijection
https://everything2.com/title/bijection
https://artofproblemsolving.com/wiki/index.php/Bijection
https://ncatlab.org/nlab/show/bijection

https://en.citizendium.org/wiki/Bijective_function

보면 가역함수,invertible_function{ writing; rel. 역함수,inverse_function }와 동의어로 취급
집합 X에서 자기 자신으로의 bijective_function은 also called: a permutation of the set X. - 순열,permutation? 치환,permutation?
chk

mklink

invertibility(작성중. 가역성?)과 밀접.

즉 역,inverse 사상(ex. 역함수,inverse_function)가 존재하는지 여부와 관련.

equipotent_set

두 equipotent sets는 서로 전단사 관계가 존재하는 sets? chk

equipotence

equinumerosity

bijection 개념의 일반화는 동형사상,isomorphism? chk