+/**
+ * <font color=green>an element which can produce one of several alternatives</font>.
+ * <p>
+ *
+ * Unlike the other Elements, Union is not immutable once
+ * constructed. To simulate this desirable feature, it is immutable
+ * <i>once examined</i> by taking its iterator or calling contains().
+ */