Sequence invariants
For a given sequence, determine if all its elements satisfy some invariant (for instance, are all less than some constant)
For multiple sequences, check for subsequence and lexicographic relationships
For a sequence and a scalar variable, check for membership