I think it would be more accurate to say that the values `a[i]` partition the array. The indices themselves are likely to be not unique when there are repeated values.