surjective function bijection monomorphism injectivity surjection transition map orthomorphism circular function quotient map holomorphism