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