Definition: (right principally injective) homomorphisms from principal right ideals of the ring into the ring extend to endomorphisms of the ring