S := \{ v_1, \ldots, v_m \}