Proper classes of monomorphisms and short exact sequences were introduced by Buchsbaum to study relative homological algebra. It was observed in abelian group theory that complement submodules induce a proper class of ...