subset_complement

Subset complement

context	$Y$
context	$X\subset Y$

definiendum

$X^c \equiv Y\smallsetminus X$

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.

Wikipedia: Complement