Finite Set

This is a set (<{}> x) formed by taking all the elements of a tuple x with length N. Each tuple has a length and each number in the sequence can be extracted using the index operation. It is defined here. The reason to introduce this notation is that since we can use any tuple, this allows us to reason abstractly about arbitrary finite sets.