Es el subconjunto cerrado más pequeño de "X" que es un sobreconjunto de "A".