(=> ) une inclusion est clair. si x dans f(A) inter f(A'), x s'écrit x=f(y)=f(z) avec y dans A et z dans A'. par injectivité, y=z donc x s'écrit f(y) avec y dans A inter A'
(<=) si x=f(z)=f(y), alors z dans {z}, y dans {y}, x dans f({z}) inter ((y}), donc x dans f({y} inter {z}), conclusion..