Notes on Cambridge Maths

Something looks off?

The button will add this page to my log of things to fix. Use it for broken links, equations not rendering correctly, etc.
Submit other issues on GitHub.

Pair-set axiom

For any sets , , can form

The unique (by (Ext)) is denoted by
We write for
Formally, we introduced a binary symbol and a unary symbol
By (Ext) we have
We can now define Ordered Pair and Function

Something looks off?

The button will add this page to my log of things to fix. Use it for broken links, equations not rendering correctly, etc.
Submit other issues on GitHub.

Graph View

Backlinks