
ord_union(+Set1, +Set2, -Union)

   Computes the union of Set1 and Set2

Arguments
   Set1                A set
   Set2                A set
   Union               A set or variable

Type
   library(ordset)

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
