The complement
A
of a set
A
is the set consisting of all elements of
F
that are not in
A
.
