On the Union of Well-Founded Relations

We give a criterion for the union of well-founded (i.e., noetherian) relations to be well-founded, generalizing results of Geser and of Bachmair-Dershowitz. The proof is written in a calculational style and is conducted entirely in regular algebra.