Проективный предел: различия между версиями

Пусть <math>I</math> — множество, снабжённое [[Частично упорядоченное множествоПредпорядок|отношением предпорядка]] <math>\leqslant</math> (например, множество [[целое число|целых чисел]]), и пусть каждому элементу <math>i\in I</math> сопоставлено множество <math>X_i</math>, а каждой паре <math>(i,\;j)</math>, <math>i,\;j\in I</math>, в которой <math>i\leqslant j</math>, сопоставлено отображение <math>f_{ii}:X_i\to X_j</math>, причём <math>f_{ii}</math> — [[тождественное отображение|тождественные отображения]] для любого <math>i\in I</math> и <math>f_{ik}= f_{jk}\circ f_{ij}</math> для любых <math>i\leqslant j\leqslant k</math> из <math>I</math>.