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.