[ library(ordset) | 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

- ord_del_element(+, ?, -) is det

## See Also

ord_selectchk / 3