Para todo x de D se cumple p(x).