Adjective
prodiscrete (not comparable) (mathematics) Isomorphic to the limit of a filtered projective system of discrete groups.