فرض کنیم r یک حلقه جابجایی و یکدار باشد. خانواده f از ایده آل های r را خانواده oka می نامیم هرگاه برای هر ایده آل i و هرعضو a از r، از اینکه (i,a) و (i:a) متعلق به f باشند نتیجه شود i نیز متعلق به f است. همچنین خانواده f از ایده آل های r را خانواده ako می نامیم هرگاه برای هر ایده آل i واعضای a,b از r، از اینکه (i,a) و (i,b) متعلق به f باشند نتیجه شود (i,ab) نیز متعلق به f است. اصل ایده آل اول ب...