Returns the set that is the intersection
of all the sets contained in the argument value; that is, the result contains the
elements that are shared among all of the sets.
BigUnion(Set
>)
(Static method.)Distributed set union. Returns a set containing all of the elements
of each set contained in the argument value.
Choose()
Selects an arbitrary value from the current set using internal choice.
Contains(T)
Tests whether the given element is found in the set.
Difference(Set)
Set difference. Same as operator -.
Exists(Predicate)
Existential quantification. Returns true if the predicate holds for at least one
element of the current set.
ExistsOne(Predicate)
Unique quantification. Returns true if the predicate holds for exactly one element
of the set, false otherwise.
Appendices 295
Forall(Predicate)
Universal quantification. Returns true if the predicate holds for all elements of
the set and false otherwise.
Intersect(Set)
Set intersection. Same as operator *. This is the set of all elements shared by the
current set and the set given as the argument.
IsProperSubsetOf(Set)
Proper superset relation.
IsProperSupersetOf(Set)
Proper subset relation.
IsSubsetOf(Set)
Subset relation.
IsSupersetOf(Set)
Superset relation.
Maximum()
Returns the greatest value in the set under the term ordering defined by Compare-
Values(Object, Object).
Pages:
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383