Nicolas Bourbaki, Elemen Matematika, Teori Himpunan, Springer-Verlag, 2004, III.§3.5.