Ул саҡта f {displaystyle f} сағылышында A {displaystyle A} һәм B {displaystyle B} күмәклектәренең образдары түбәндәге үҙсәнлектәргә эйә: f ( ∅ ) = ∅ {displaystyle f(varnothing )=varnothing } ; A ≠ ∅ ⇒ f ( A ) ≠ ∅ {displaystyle Aneq varnothing Rightarrow f(A)neq varnothing } ; A ⊂ B ⇒ f ( A ) ⊂ f ( B ) {displaystyle Asubset BRightarrow f(A)subset f(B)} . күмәклектәр берекмәһенең образы образдар берекмәһенә тигеҙ: f ( A ∪ B ) = f ( A ) ∪ f ( B ) {displaystyle f(Acup B)=f(A)cup f(B)} ; күмәклектәр киҫелешенең образы образдар киҫелешенең аҫкүмәклеге була f ( A ∩ B ) ⊆ f ( A ) ∩ f ( B ) {displaystyle f(Acap B)subseteq f(A)cap f(B)} .