Definition: (right ACC principal) Ascending chain condition on principal right ideals
(No citations retrieved.)