more from A.George / D.J.Velleman

### Single Idea 10099

#### [catalogued under 4. Formal Logic / F. Set Theory ST / 2. Mechanics of Set Theory / b. Terminology of ST]

Full Idea

The 'ordered pair' <a, b>, for two sets a and b, is the set {{a, b},{a}}. The existence of this set is guaranteed by three applications of the Axiom of Pairing.

Gist of Idea

The 'ordered pair' <a, b>, for two sets a and b, is the set {{a, b},{a}}

Source

A.George / D.J.Velleman (Philosophies of Mathematics [2002], Ch.3)

Book Reference

George,A/Velleman D.J.: 'Philosophies of Mathematics' [Blackwell 2002], p.56

A Reaction

See Idea 10100 for the Axiom of Pairing.

Related Idea

Idea 10100
Axiom of Pairing: for all sets x and y, there is a set z containing just x and y **[George/Velleman]**