
ord_selectchk(?Term, +Set, -Remainder)

   Set contains Term, and Remainder is the set Set without Term

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

Type
   library(ordset)

Description
	If Set contains Term, Remainder is the set Set without the Term.
	Otherwise the predicate fails.

Modes and Determinism
   ord_selectchk(?, +, -) is semidet

Fail Conditions
   Term is not a member of Set

See Also
   ord_del_element / 3, lists : delete / 3, m_map : delete / 3, listut : delete / 3, m_tree234 : delete / 3
