Talk:Foundational relation

Merge
According to the formal definitions, "Foundational relation" is just another name for "Well-founded relation". The former article (using a less common name) should be merged into the latter. - Jochen Burghardt (talk) 13:04, 18 December 2022 (UTC)