## 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