Definition: Complement

Let be a subset of .

The complement of in is the set difference .