Definition: Indexing Let S be a set. An indexing on S is a surjection f:I→S from some set I onto S. Definition: Index Set Let S be a set. An index set for S is any set I for which there exists an Indexing from I to S. NOTATION We use si to denote the element in s∈S such that f(i)=s.