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

Интуитивно, два элемента дизъюнктного объединения эквивалентны, если и только если они «рано или поздно станут эквивалентными» в направленной системе. Более простая формулировка — это [[транзитивное замыкание]] отношения эквивалентности «каждый элемент эквивалентен своим образам», то есть <math>x_i\sim\, f_{ik}(x_i)</math>.

 

 

=== Определение для произвольной категории ===