2 monomorphism: 단형성