
ord_del_element(+Set, ?Term, -Remainder)

   Remainder is the set Set without the element Term

Arguments
   Set                 A set
   Term                Any Term
   Remainder           A variable or set

Type
   library(ordset)

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
