نيكولاس بورباكي، مبادئ الرياضيات، نظرية المجموعات، سبرينغر فيرلاج، 2004، الفصل الثالث، القسم 3.5.