An integral domain $R$ is a principal ideal domain if every ideal of $R$ is principal.
Wikidata ID: Q1143969