Definition: (right valuation domain) $R$ is a domain whose right ideals are linearly ordered.
(No metaproperty information retrieved.)