lawZero<T> static method

bool lawZero<T>(CustomSet<T> universal)

Verifies the Law 0/1 for Empty Set Complement.

Law: ∅' = U

The complement of the empty set equals the universal set.

Implementation

static bool lawZero<T>(CustomSet<T> universal) {
  final empty = CustomSet<T>.empty();
  return SetOperations.complement(empty, universal).equals(universal);
}