A compment is the set of all outcomes in a sample space that are not in a given event.

Let: