Brian Mere's Digital Garden
Complement
Complement
A
c
If
A
⊆
R
then:
A
c
=
R
−
A
See
Closed Implies Complement is Open (Vice Versa)
for an application of this.