Submodule construction – the inverse of composition