[[일대일대응,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]]

WtEn: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]] WtEn:equipotence Bing:equipotence

[[equinumerosity]] WtEn:equinumerosity Bing:equinumerosity

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