Having a specified adicity.
Such that the sets x+I^nM (where x \in M, n a non-negative integer) form a basis for the topology.