Un set index este o mulțime ale cărei elemente marchează (indexează) elementele unei alte mulțimi [1] [2] . De exemplu, dacă elementele unui set pot fi etichetate cu un set , atunci este un set index. Un index este o funcție surjectivă de la până la , iar o mulțime indexată este de obicei numită familie (indexată) . Această familie poate fi denumită și .