TAPL Chatper 2: Mathematical Preliminaries
Sets
- Standard set builder notation.
- A set is said to be countable if it’s members can be placed in one to one
correspondance with the natural numbers.
Skipping this for now, will come back to it later/as required