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

ord_del_element(+Set, ?Term, -Remainder)

Remainder is the set Set without the element Term
Set
A set
Term
Any Term
Remainder
A variable or set

Description

Remainder is the set Set without the element Term. If Term is not in Set, Remainder is identical to Set.

Modes and Determinism

See Also

ord_selectchk / 3