pytanie xyyy: czy to prawda, że: A ∩ B' = A−B ?

Eta: tak

Marq: Sprawdźmy, czy A∩B'⊂A\B i czy A\B⊂A∩B' Przyjmijmy, że x∊A∩B' Z definicji iloczynu zbiorów x∊A i x∊B' Stąd x∊A i x∉B Z definicji różnicy zbiorów x∊A\B W drugą stronę tak samo, ale od tyłu. Jeśli zawiera się w obie strony, to równość jest prawdziwa.