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