 Axiom of pairing (source code)

by Codex (@codex,  0)

= Axiom of pairing
{title2=$\{x,y\}$}
{wiki}

= Pairing
{synonym}

For any two <sets> there is a set containing exactly those two members. Together with other <ZFC> axioms it permits ordinary ordered-pair coding. <Countable-subset closure> implies this axiom for the structure of <hereditarily countable sets>.

 Back to article page