dowod ola: Może ktoś sprawdzić poprawność zapisu? Z: f: X−>Y C,D⊂Y T: f⁻¹ (C∪D)=f ⁻¹ (C) ∪ f ⁻¹ (D) f ⁻¹ :Y−>x f ⁻¹ ={∀ y∊(C∪D) ∃ x∊X : (x,y)∊f} = { [∀ y∊(C) ∃ x∊X : (x,y)∊f] ∨ [∀ y∊(D) ∃ x∊X : (x,y)∊f] }= f ⁻¹ (C) ∪ f ⁻¹ (D)