Indexhalmaznak nevezzük azt a halmazt, amelynek elemei egy másik halmaz elemeit jelölik (indexeljük) [1] [2] . Például, ha egy halmaz elemei egy halmazsal címkézhetők , akkor az indexhalmaz. Az index egy szürjektív függvény től -ig , az indexelt halmazt pedig általában (indexelt) családnak nevezik . Ezt a családot nevezhetjük .