There is no domain representable dense proper subsemigroup of a topological group

ما ثابت می کنیم که تنها زیر دامنه ی قابل انعطاف پذیری یک گروه توپولوژیک خودش است. در نتیجه، ما دریافت می کنیم که هر زیرمجموعه ای قابل بیان از یک گروه توپولوژیک بسته است.