Sprawdzić bnyh6: Niech f: X −> Y będzie dowolnym odwzorowaniem . Sprawdzić czy f (A∩B) ⊂ f(A) ∩ f(B).

jc: y ∊ f(A∩B) ⇒ y=f(x) dla pewnego x ∊ A∩B x ∊ A∩B ⇒ x∊A i x∊B ⇒f(x)∊f(A) i f(x)∊f(B) ⇒ f(x) ∊ f(A)∩f(B) czyli y ∊ f(A)∩f(B) Dlatego f(A∩B) ⊂ f(A)∩f(B). Ale nie odwrotnie!