eightbitraptor[wiki]

TAPL Chatper 2: Mathematical Preliminaries

Sets

Skipping this for now, will come back to it later/as required