import Invariant.NatSet