Having a specified adicity.
Such that the sets x+Iⁿᴹ (where x∈M, n a non-negative integer) form a basis for the topology.