path ordering

in term rewriting, a well-founded strict total order (>) on the set of all terms

en-US/ˈpæθ ˈɔɹdɚɪŋ/
en-GB/pɑːθ ˈɔːdəɹɪŋ/

الفئات:

total order