An element constraint selects zero, one or more elements out of a sequence. We write \( \langle x_0,\dots, x_{n-1} \rangle \) for the sequence, and \( [y] \) for the index variable.

Set element constraints are closely related to the ::element constraint on integer variables.