$X=\bigcup_{g\in\top} g$