La última es una función idempotente en el conjunto de partes de "X".