minus!

Usage

minus!(x,y)

Signature

minus!:

(%, %) $\to$ %

Parameter	Type	Description
x,y	%	sets

Description

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

Remarks

minus! does not make a copy of $x$, which is therefore modified after the call. It is unsafe to use the variable $x$ after the call, unless it has been assigned to the result of the call, as in x := minus!(x, y).

See Also

$-$