### 2.6.14. Part of system of constraints

Denotes that a constraint ${C}_{\mathrm{𝑒𝑛𝑡𝑟𝑦}}$ is a conjunction of constraints ${C}_{\mathrm{𝑎𝑙𝑠𝑜}}$ (i.e., see the keyword system of constraints).

EXAMPLE: As an example, the constraint ${C}_{\mathrm{𝑎𝑙𝑠𝑜}}=$ $\mathrm{𝚗𝚎𝚚}$ (i.e., prevent two variables to be assigned the same value) can be used to reformulate the constraint ${C}_{\mathrm{𝑒𝑛𝑡𝑟𝑦}}=$ $\mathrm{𝚊𝚕𝚕𝚍𝚒𝚏𝚏𝚎𝚛𝚎𝚗𝚝}$ (i.e., enforce a set of variables to take distinct values) as a conjunction of $\mathrm{𝚗𝚎𝚚}$ constraints.