निकोलस बॉर्बकी, गणित के तत्व, समुच्चय सिद्धांत, स्प्रिंगर-वेरलाग, 2004, III.§3.5.