Udowodnij, że AʌB=B ⟺ B<A

[fat0b]

Jak to udowodnić?
Takie proste i logiczne a nie wiem jak to rozpisać. Zakładam, że:
\(B\subset A \text{ więc } A\cap B\nad{?}{=}B\\
A\cap B=B\\
B\cap B=B\\
B=B\)

to ma sens?

[Jerry]

Tak miało być, jak poprawiłem? Następnym razem w takiej sytuacji - śmietnik

to ma sens?

Dla mnie - nie ma. Ja bym wykorzystał definicję inkluzji i mnogościowego iloczynu

Pozdrawiam