
ord_intersection(+Set1, +Set2, -Intersection)

   Computes the intersection of two sets

Arguments
   Set1                A set
   Set2                A set
   Intersection        A set

Type
   library(ordset)

Description
	Succeeds when Intersection is the intersection of Set1 
	and Set2, provided that Set1 and Set2 are ordered sets.
    

Modes and Determinism
   ord_intersection(+, +, -) is det

See Also
   ord_intersect / 2, ord_intersection / 5
