Dear all, Is there a result in the literature along the following lines? Given a model of ZF without Extensionality, its "extensional quotient" is a model of ZF including Extensionality. Paul -- Paul Blain Levy School of Computer Science, University of Birmingham http://www.cs.bham.ac.uk/~pbl