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