Los p' y t' son los conjuntos positivos y totales que quedarán una vez añadida la condición.