## Subset complement

### Set

 context $Y$ context $X\subset Y$
 definiendum $X^c \equiv Y\smallsetminus X$

### Discussion

Notice that the notation $X^c$ doesn't actually denote the bigger set $Y$. It is supposed to be stated or known from the context.

#### Reference

Wikipedia: Complement