Sea "P" el conjunto de todos los conjuntos de números enteros positivos.