Индуктивный предел

---

Индуктивный предел (или прямой предел, копредел) — конструкция, возникшая первоначально в теории множеств и топологии, а затем нашедшая широкое применение во многих разделах математики. Двойственное понятие — проективный (или обратный) предел.

Эта конструкция позволяет построить новый объект ${\displaystyle X}$ по последовательности (индексированной направленным множеством) однотипных объектов ${\displaystyle X_{i}}$ и набору отображений ${\displaystyle f_{ij}:X_{i}\to X_{j}}$, ${\displaystyle i\leqslant j}$. Для индуктивного предела обычно используется обозначение

В этом разделе будет дано определение, подходящее для множеств с добавленной структурой, таких как группы, кольца, модули над фиксированным кольцом и т. д.

---