for X being set holds Total X is strongly_connected