These procedures check to see if expr is a function of type union, minus, intersect, or subset respectively. See union for more information on these functions.

It is important to put quotes around the words union, minus, intersect, and subset as they are keywords.  Not using quotes will cause a syntax error.

Note that in the case of the third example, the call to the minus function is made before the call to the type function, and therefore the return is false. The set difference, $b$, which is clearly not a function of type minus, is passed to the type function.

type/function

$\mathrm{type}\left(a\mathbf{union}b\,\mathrm{`union`}\right)$

$\mathrm{true}$

$\mathrm{type}\left(\mathrm{`intersect`}\left(a\,b\,c\right)\,\mathrm{`intersect`}\right)$

$\mathrm{true}$

$\mathrm{type}\left(\left\{a\,b\,c\right\}\mathbf{minus}\left\{a\,c\right\}\,\mathrm{`minus`}\right)$

$\mathrm{false}$

$\mathrm{type}\left(a\mathbf{subset}b\,\mathrm{`subset`}\right)$

$\mathrm{true}$