Pronilpotent group

Definition
A pronilpotent group is a topological group that can be realized as the inverse limit of an inverse system of topological groups all of which are nilpotent groups.