Talk:Path ordering (term rewriting)

Total or partial order?
I am no expert on this topic, but should path orderings not be well-founded, strict partial orders? Especially: Must they not allow for branching paths for confluence (though not mentioned in this article) to be meaningful? 2A02:FE1:E07F:D200:5173:FA7D:7030:AC1 (talk) 06:01, 26 February 2024 (UTC)