| Moreover, we deal with finite structures only, hence f is surjective too, and consequently it is a bijection. |
| An injective homomorphism is called monomorphism and a surjective homomorpism is called epimorphism. |
| The choice of redundant constraints implies that the jump operator B is not surjective. |
| An injective homomorphism is called monomorphism, a surjective homomorpism is called epimorphism and a bijective homomorphism is called isomorphism. |
| Isomorphisms in the category of sup-algebras and their homomorphisms are precisely surjective homomorphisms that are order-embeddings. |
