Definition

If

Then we say set is the complement of relative to

Remark

It is also often denoted by .