This means that for every pair of elements a Bézout identity holds, and that every finitely generated ideal is principal.
Z toho plyne zejména jednak to, že pro každé dva prvky daného oboru platí Bézoutova rovnost, jednak že každý konečně generovaný ideál je také hlavní.