Definition, synonyms and related words
Isomorphic to the limit of a filtered projective system of discrete groups.