Sprawdzić, czy dla dowolnych niepustych zbiorów A,B,C i D ..

[plancys]

\(\displaystyle{ A}\) jest równoliczne z \(\displaystyle{ B \wedge C \subseteq A \wedge C \subseteq B \Rightarrow A \setminus C}\) jest równoliczne z \(\displaystyle{ B \setminus C}\)

[Zordon]

podpowiedź: to nie jest prawda, ale szukaj kontrprzykładu wśród zbiorów nieskończonych