- ord_union(+SetOfSets, -Union) is det
- 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.