[ library(ordset) | The ECLiPSe Libraries | Reference Manual | Alphabetic Index ]

# ord_union(+Set1, +Set2, -Union)

Computes the union of Set1 and Set2

Set1
  A set
Set2
  A set
Union
  A set or variable

## Description

Succeeds when Union is the union of Set1 and Set2. Note that when something occurs in both sets, we want to retain only one copy.

### Modes and Determinism

- ord_union(+, +, -) is det

## See Also

ord_disjoint_union / 3, ord_union / 4, ord_union / 2