[ library(ordset) | The ECLiPSe Libraries | 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