Formal conventions

This page lists conventions that are assumed here throughout this library.

1. $0$ is a natural number.