The Ultrafilter Closure in ZF