Template:Lexicographical properties