نيكولاس بورباكي، عناصر الرياضه، نظرية المجموعات، سبرينغر فيرلاغ ، 2004 ، III. §3.5.