Ben Liblit

Revisions in a version control system such as Git. Subtraction computes a diff, which in turn can be added (applied) to some other revision.

X + (Y - Z) is `git checkout X; git cherry-pick Z..Y`.

Note that addition is a partial function: not all diffs can be applied to all revisions.