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.
Power-set axiom
We can form a power set of a set
where is shorthand for
The unique set is denoted by
We can now construct the Cartesian Product of sets