ZF axioms, derived operators and ordered pairs