Talk:Foundational relation

Latest comment: 1 year ago by Jochen Burghardt in topic Merge

Merge edit

The following discussion is closed. Please do not modify it. Subsequent comments should be made in a new section. A summary of the conclusions reached follows.
No objection for >3 weeks. Going ahead and merging.

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)Reply

The discussion above is closed. Please do not modify it. Subsequent comments should be made on the appropriate discussion page. No further edits should be made to this discussion.