thrm induced constraint set