If $G$ and $H$ are divisible groups each of which is isomorphic to a subgroup of the other, then $G$ is isomorphic to $H$.
Here, $G$ and $H$ are abelian groups. Can we assume another adjective rather than divisibility?
These are called Cantor-Bernstein theorems. The result for divisible groups was extended to injective modules in Bumby (1965). A study of these theorems is made in Wisbauer (2004), and in particular Artinian modules and cohopfian uniserial modules have this property. If G,H are both assumed to have the property, then one gets more examples, these are called "correct classes".