Придумал два контрпримера контраполных, но не полных топологических абелевых групп (даже колец). Contramplete, but not complete!