Nicolas Bourbaki, Elementos de Matemática, Teoría de Conjuntos, Springer-Verlag, 2004, III.§3.5.