[127] Prerequisiti:[125]↺↻,[124]↺↻.
Sia \(\tilde B=\{ -b:b∈ B\} \): mostrate che \((A ⊕ B)^ c=A^ c ⊖ \tilde B\), dove \(A^ c= X⧵ A\) è il complementare.
[128]↺↻