# Lexicographic Ordering constraint

### From Glossary

is a global constraint that allows the comparison of sequences of variables. Given two sequences and of variables, and , let denote the lexicographic ordering constraint. The constraint holds iff or or and .