[ library(ordset) | The ECLiPSe Libraries | Reference Manual | Alphabetic Index ]

# ord_subtract(+Set1, +Set2, -Difference)

Subtracts Set2 from Set1

Set1
  A set
Set2
  A set
Difference
  A set or variable

## Description

Succeeds when Difference contains all and only the elements of Set1 which are not also in Set2.

### Modes and Determinism

- ord_subtract(+, +, -) is det

## See Also

ord_symdiff / 3