`InputIterator1`?`InputIterator2``[first1, last1)``[first2, last2)``true`?`false`?
`lexicographical_compare`?`Output`?`Compare``greater``lexicographical_compare`?`main`?`a`?