[det]ord_union(+SetOfSets,
-Union)True if Union is the union of all elements in the superset
SetOfSets. Each member of SetOfSets must be an
ordered set, the sets need not be ordered in any way.
- author
- Copied from YAP, probably originally by Richard O'Keefe.