theorem Th27: :: IDEAL_2:24

for A being non degenerated commutative Ring
for q being Ideal of A
for M1, M2 being Ideal of (A / q) st M1 c= M2 holds
(canHom q) " M1 c= (canHom q) " M2