This is an old revision of the document!
Subset complement
Definition
| $Y$ |
| $X\subset Y$ |
| $ 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
Context
Requirements
