### 2.5.17. Shift of concept

Constraint ${C}_{\mathrm{𝑎𝑙𝑠𝑜}}$ is derived from constraint ${C}_{\mathrm{𝑒𝑛𝑡𝑟𝑦}}$.

EXAMPLE: As an example, constraint ${C}_{\mathrm{𝑎𝑙𝑠𝑜}}=$ $\mathrm{𝚐𝚕𝚘𝚋𝚊𝚕}_\mathrm{𝚌𝚊𝚛𝚍𝚒𝚗𝚊𝚕𝚒𝚝𝚢}_\mathrm{𝚗𝚘}_\mathrm{𝚕𝚘𝚘𝚙}$$\left(\mathrm{𝙽𝙻𝙾𝙾𝙿},$ $\mathrm{𝚅𝙰𝚁𝙸𝙰𝙱𝙻𝙴𝚂},\mathrm{𝚅𝙰𝙻𝚄𝙴𝚂}\right)$ is derived from constraint ${C}_{\mathrm{𝑒𝑛𝑡𝑟𝑦}}=$ $\mathrm{𝚐𝚕𝚘𝚋𝚊𝚕}_\mathrm{𝚌𝚊𝚛𝚍𝚒𝚗𝚊𝚕𝚒𝚝𝚢}$$\left(\mathrm{𝚅𝙰𝚁𝙸𝙰𝙱𝙻𝙴𝚂},$ $\mathrm{𝚅𝙰𝙻𝚄𝙴𝚂}\right)$ (i.e., each value $\mathrm{𝚅𝙰𝙻𝚄𝙴𝚂}\left[i\right].\mathrm{𝚟𝚊𝚕}$ should be taken by exactly $\mathrm{𝚅𝙰𝙻𝚄𝙴𝚂}\left[i\right].\mathrm{𝚟𝚊𝚕}$ variables of the $\mathrm{𝚅𝙰𝚁𝙸𝙰𝙱𝙻𝙴𝚂}$ collection) by discarding all variables such that $\mathrm{𝚅𝙰𝚁𝙸𝙰𝙱𝙻𝙴𝚂}\left[i\right].\mathrm{𝚟𝚊𝚛}=i$.