With And, Or, and Not, new verifications can be constructed from existing verifications.

An And verification structure returns true if the first two arguments satisfy the relations checked by all the verifications ver1, ver2, ...

An Or verification structure returns true if the first two arguments satisfy at least one of the relations checked by the given verifications.

Not converts any true results into false and any standard false results (of type 'verify'(false)) into true.

These verifications are symmetric in the first two arguments if and only if the verifications ver1, ver2, ... are symmetric.

The constructor Or can be used instead of a set to fix the order of evaluation of the verifications.

$\mathrm{verify}\left(\left\{a\,b\right\}\,\left\{a\,b\,c\right\}\,'\mathrm{And}'\left('\mathrm{`subset`}'\,'\mathrm{Not}'\left('\mathrm{set}'\right)\right)\right)$

$\mathrm{true}$

$\mathrm{verify}\left(\left\{a\,b\,c\right\}\,\left\{a\,b\,c\right\}\,'\mathrm{And}'\left('\mathrm{`subset`}'\,'\mathrm{Not}'\left('\mathrm{set}'\right)\right)\right)$

$\mathrm{false}$

$\mathrm{verify}\left(\left[x\left(x-1\right)\,b\exp \left(a+c\right)\right]\,\left[x^2-x\,\exp \left(a+\ln \left(b\exp \left(c\right)\right)\right)\right]\,'\mathrm{list}'\left('\mathrm{Or}'\left('\mathrm{expand}'\,'\mathrm{simplify}'\right)\right)\right)$

$\mathrm{true}$

$\mathrm{verify}\left(0.3\,0.5\,\mathrm{float}\left(10\right)\right)$

$\left[\mathrm{false}\,2.\times {10}^9\,\mathrm{ulps}\right]$

$\mathrm{verify}\left(0.3\,0.5\,'\mathrm{Not}'\left('\mathrm{float}'\left(10\right)\right)\right)$

$\mathrm{true}$