MKLINK
[[전단사,bijection]]
[[사상,morphism]]
[[대응,correspondence]]
 cf. Curry-Howard_correspondence 과 Curry-Howard_isomorphism 은 동의어로 쓰임.

Sub:
[[group_isomorphism]] - writing
[[isomorphism_class]] - writing