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