BanakhT. O.; LyaskovskaN. Completeness of Invariant Ideals in Groups. Ukr. Mat. Zhurn. 2010, 62, 1022–1031.