
ord_intersect(+Set1, +Set2)

   Checks whether two sets have a non-empty intersection

Arguments
   Set1                A set
   Set2                A set

Type
   library(ordset)

Description
	Succeeds when the two ordered sets have at least one element
	in common.  Note that the test is == rather than = .
    

Modes and Determinism
   ord_intersect(+, +) is semidet

See Also
   ord_disjoint / 2
