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

Parents

Context

Complement