Order of the first non-coinciding element pair of two lists
LexicographicOrder[{a1, a2, …}, {b1, b2, …}]
LexicographicOrder[{a1, a2, …}, {b1, b2, …}, p]
LexicographicOrder[p]
LexicographicOrder[{a, b, c, d}, {c, d}]
→ 1LexicographicOrder["alice", "bob"]
→ 1LexicographicOrder[h[c, d], h[a, b, c, d]]
→ 1