Most things in programming aren't formally defined. It is especially hard given the isomorphisms everywhere. At best what I've done here is eliminate some of t

Most things in programming aren't formally defined. It is especially hard given the isomorphisms everywhere. At best what I've done here is eliminate some of the vagueness surrounding the definition, which is really all that's needed in most cases.