User talk:2601:197:A7F:5F10:D844:3B2B:D7D4:45FD

The original version is A=X. I think we don't need A=X, A can be just a part in X, so \bar{A} is "\subseteq" X

Actually, someone write： "If A \subseteq \bar{B}, then we call B is dense in A." Similarly, here A is dense in X, so it should be X \subseteq \bar{A}.

Above all, A=X is right???