Индексное множество

---

Индексное множество — множество, чьими элементами помечены (индексированы) элементы другого множества^[1][2]. Например, если элементы множества ${\displaystyle A}$ могут быть помечены множеством ${\displaystyle J}$, то ${\displaystyle J}$ является индексным множеством. Индексирование представляет собой сюръективную функцию из ${\displaystyle J}$ в ${\displaystyle A}$, а индексированное множество обычно называется (индексированным) семейством. Это семейство также может быть обозначено как ${\displaystyle \{A_{j}\}_{j\in J}}$.

---