Let R be a ring, let M be a left R-module, and let U, V, F be submodules of M with F proper. We call V an F-supplement of U in M if V is minimal in the set F ⊆ X ⊆ M such that U+X = M, or equivalently, F ⊆ V , U+V = M and ...