ein topologischer Ring, definiert durch die I–adische Topologie eines Ideals I, das in allen Maximalidealen enthalten ist.

Dabei definiert das Ideal I eine Topologie im Ring dadurch, daß die Menge {x + Iⁿ, n ≥ 1} als System der offenen Umgebungen des Elements x aufgefaßt wird.