
ord_intersection(+Sets, -Intersection)

   Computes the intersection of all sets in Sets

Arguments
   Sets                A list of sets
   Intersection        A set or variable

Type
   library(ordset)

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
