If it returns false, we immediately return the empty set.
Many possible properties of sets are vacuously true for the empty set.