Lines Matching refs:element
65 the element's position in the term order. The set can be repaired
170 summary:"Remainder is the set Set without the element Term",
173 Remainder is the set Set without the element Term. If Term is not
277 Succeeds when the two ordered sets have no element in common.
301 summary:"Adds an element to a set",
312 summary:"Adds an element to a set",
346 Succeeds when the two ordered sets have at least one element
476 Succeeds when every element of the ordered set Set1 appears
497 Succeeds when every element of the ordered set Set2 appears
512 Succeeds when every element of the ordered set Set1 appears
513 in the ordered set Set2, and Set2 has at least on element that
534 Succeeds when every element of the ordered set Set2 appears
535 in the ordered set Set1, and Set1 has at least on element that