[ library(ordset) | Reference Manual | Alphabetic Index ]
# ord_intersect(+Set1, +Set2)

Checks whether two sets have a non-empty intersection
*Set1*
- A set
*Set2*
- A set

## 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