Use InvariantSet when uniqueness desired