public interface SetOfUnsignedSet extends SetOf<UnsignedSet,SetOfUnsignedSet>
Modifier and Type | Method and Description |
---|---|
UnsignedSet |
union()
The union over this set of the members of this set.
|
asCollection, contains, equalsIsSameSetAs, hashCode, intersection, isEmpty, isSubsetOf, isSupersetOf, minus, minus, powerSet, respectingEquals, sameSetAs, size, subsetsOfSize, toArray, union, union, verify
UnsignedSet union()
a ∈ b.union()
if and only if ∃ c
s.t. c ∈ b && a ∈ c