Veo la definición en wiki que $A$ es denso en $X$ si cada $x\in X$ está en $A$ o un límite de $A$ . Por lo tanto, no requiere $A$ sea un subconjunto de $X$ ?
Y aquí hay otro teorema(o definición) en mi libro que dice que $A$ es denso en $B$ si $A$ pertenece a $B$ y $A$ contiene $B$ .