forall x in X, delta(x) in P