[math-fun] Subset-lex: did we miss an order?