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