bounded_morphism