Definition:Natural Monomorphism