for a being set holds
( a is ZF-formula iff a in WFF )