Dalam matematika, himpunan indeks adalah himpunan dengan anggota label (atau indeks) merupakan anggota dari himpunan lain.[1][2] Sebagai contoh, jika anggota dari himpunan A diindeks atau dilabel dengan anggota dari himpunan J, maka J adalah himpunan indeks. Pengindeksan tersebut melibatkan fungsi surjektif dari J ke A, dan kumpulan indeks biasanya disebut keluarga (berindeks), atau secara umum dinyatakan sebagai .