Математическая энциклопедия
пополнение топологич. кольца 
, где А- топологич. кольцо, а 
- замыкание в Анулевого идеала о. О. п. к. снова является топологич. кольцом и обозначается обычно 
. Всякий непрерывный гомоморфизм кольца Ав полное отделимое кольцо В единственным образом продолжается до непрерывного гомоморфизма
В наиболее важном случае, когда топология кольца Алинейна и задается фундаментальной системой идеалов 
, отделимое пополнение 
канонически отождествляется с проективным пределом
дискретных колец 
. Аналогично устроено отделимое пополнение модулей. В. И. Данилов.