(mathematics, computing) Having a specified adicity. · (algebra, of a topology on a module M over a ring R, combined with a symbol (here I but also often p, m, or a) representing an ideal of R) Such that the sets x+InM (where x∈M, n a non-negative integer) form a basis for the topology.