for H being ZF-formula
for x being Variable
for E being non empty set holds
( E |= All (x,H) iff E |= H )