A Bézout domain is an integral domain in which the sum of two principal ideals is again principal.
A Bézout domain is an integral domain in which every finitely generated ideal is principal.
This entry was named for Étienne Bézout.
The definition of an integral domain, and even that of a ring, was not formulated until over a century after the death of Étienne Bézout.
However, a Bézout domain bears his name because in such an algebraic structure, each pair of elements satisfies an algebraic formulation of Bézout's Identity.