verifyDisjointUnion<T> static method

bool verifyDisjointUnion<T>(CustomSet<T> a, CustomSet<T> b)

Verifies cardinality relationship for disjoint sets.

For disjoint sets A and B: |A ∪ B| = |A| + |B|

Returns true if the sets are disjoint and the relationship holds.

Example:

final a = CustomSet<int>([1, 2, 3]);
final b = CustomSet<int>([4, 5, 6]);
print(CardinalityUtils.verifyDisjointUnion(a, b)); // Output: true

Implementation

static bool verifyDisjointUnion<T>(CustomSet<T> a, CustomSet<T> b) {
  if (!a.isDisjointFrom(b)) return false;
  final actualUnion = SetOperations.union(a, b).cardinality;
  return actualUnion == a.cardinality + b.cardinality;
}