نیکولاس بورباکی، عناصر ریاضیات، تیوری سیت ها، سپرینگ-ورلاگ، 2004، III. 3§. 5.