Requires variables to sequentially increase or decrease without repeating values.

Ensures that all variables within a specified set must take unique values.

Specifies that a variable must either maximize or minimize some function relative to another variable.

Dictates that two variables must satisfy a specific relational condition.

Limits the possible values that can be assigned to a single variable based on its position in a sequence.