for X being set holds Total X is connected