text: Тогда множество-носитель прямого предела направленной системы ( X i , f i j ) {\displaystyle (X_{i},f_{ij})} — это фактормножество дизъюнктного объединения множеств-носителей X i {\displaystyle X_{i}} по отношению эквивалентности: lim → ⁡ X i = ⨆ i X i / ∼ . {\displaystyle \varinjlim X_{i}=\bigsqcup _{i}X_{i}{\bigg /}\sim .} Здесь x i ∈ X i {\displaystyle x_{i}\in X_{i}} и x j ∈ X j {\displaystyle x_{j}\in X_{j}} эквивалентны, если существует такое k ∈ I {\displaystyle k\in I} , что f i k ( x i ) = f j k ( x j ) {\displaystyle f_{ik}(x_{i})=f_{jk}(x_{j})} .