A version system should at least define a join-semilattice over all versions.
A version system should at least define a join-semilattice over all versions.