# 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