Let $R$ be an integral domain and let $M$ be an $R$-module. Then $M$ is torsion-free if its torsion submodule is trivial.
Wikidata ID: Q7827200