Dado un espacio métrico X y un número natural n, definimos el n-ésimo producto simétrico de X, como el conjunto formado por todos los subconjuntos no vacíos de X con cardinalidad menor o igual que n, a este conjunto lo ...