prawo logiczne w zbiorach

[HeadsHunter]

\(\displaystyle{ (B\subset A)\Leftrightarrow (A^{'}\cap B^{'}=A^{'})}\)

Jak mam rozpisać A prim i B prim?

\(\displaystyle{ A\subset B}\) - z tym nie ma problemy bo pisze: \(\displaystyle{ x\in B\Rightarrow x\in A}\) ale z \(\displaystyle{ A^{'}}\) i \(\displaystyle{ B^{'}}\) nie mam pojęcia.

[Kris-0]

\(\displaystyle{ x\in A' \Leftrightarrow x\in (X\setminus A)}\), gdzie X jest przestrzenią. Lub \(\displaystyle{ x\in A' \Leftrightarrow x\not\in A}\) be podawania przestrzeni.

[HeadsHunter]

Czyli to będzie tak?
\(\displaystyle{ (x\in B\Rightarrow x\in A)\Leftrightarrow (x\notin A\wedge x\notin B\Leftrightarrow x\notin A)}\)