Strongly Jónsson and strongly HS modules

Let R be a commutative ring with identity and let M be an infinite unitary R-module. Then M is a Jónsson module provided every proper R-submodule of M has smaller cardinality than M. In this note, we strengthen this condition and call an R-module M (which may be finite) strongly Jónsson provided distinct R-submodules of M have distinct cardinalities. We present a classification of these modules, and then we study a sort of dual notion. Specifically, we consider modules M for which M/N and M/K have distinct cardinalities for distinct R-submodules N and K of M; we call such modules strongly HS (see the introduction for etymology). We conclude the paper with a classification of the strongly HS modules over an arbitrary commutative ring.