[ library(ordset) | Reference Manual | Alphabetic Index ]
ord_intersection(+Sets, -Intersection)
Computes the intersection of all sets in Sets
- Sets
- A list of sets
- Intersection
- A set or variable
Description
Succeeds when Intersection is the intersection of all sets in
the list Sets.
Modes and Determinism
- ord_intersection(+, -) is det
See Also
ord_intersection / 3, ord_union / 2