$-$

Usage

$x - y$

Signature

$-$:	(%, %) $\to$ %

Parameter	Type	Description
x,y	%	sets

Returns

Return $x - y = \{ a \in x \mbox{ such that }a \notin y\}$.

See Also

minus!