$C$ has a Boolean algebra structure if and only if:
- $Ω ∈ C$
- If $ A ∈ C ⇒ A^c ∈ C$
- If $A, B ∈ C ⇒ A ∪ B ∈ C$
I want to prove that $0∈C$
- $Ω ∈ C$
- If $ Ω ∈ C ⇒ Ω^c ∈ C$
$Ω^c=0 ⇒ 0∈C$
Is correct?
$C$ has a Boolean algebra structure if and only if:
I want to prove that $0∈C$
$Ω^c=0 ⇒ 0∈C$
Is correct?
Assuming that $0$ is indeed defined as $\Omega^C$, then yes, that is correct.