### 2.5.17. Shift of concept

Constraint is derived from constraint ${C}_{\mathrm{\pi \pi \pi ‘\pi \pi ¦}}$.

EXAMPLE: As an example, constraint $\mathrm{\pi \pi \pi \pi \pi \pi }_\mathrm{\pi \pi \pi \pi \pi \pi \pi \pi \pi \pi \pi ’}_\mathrm{\pi \pi }_\mathrm{\pi \pi \pi \pi }$$\left(\mathrm{\pi ½\pi »\pi Ύ\pi Ύ\pi Ώ},$ $\mathrm{\pi  \pi °\pi \pi Έ\pi °\pi ±\pi »\pi ΄\pi },\mathrm{\pi  \pi °\pi »\pi \pi ΄\pi }\right)$ is derived from constraint ${C}_{\mathrm{\pi \pi \pi ‘\pi \pi ¦}}=$ $\mathrm{\pi \pi \pi \pi \pi \pi }_\mathrm{\pi \pi \pi \pi \pi \pi \pi \pi \pi \pi \pi ’}$$\left(\mathrm{\pi  \pi °\pi \pi Έ\pi °\pi ±\pi »\pi ΄\pi },$ $\mathrm{\pi  \pi °\pi »\pi \pi ΄\pi }\right)$ (i.e.,Β each value $\mathrm{\pi  \pi °\pi »\pi \pi ΄\pi }\left[i\right].\mathrm{\pi \pi \pi }$ should be taken by exactly $\mathrm{\pi  \pi °\pi »\pi \pi ΄\pi }\left[i\right].\mathrm{\pi \pi \pi }$ variables of the $\mathrm{\pi  \pi °\pi \pi Έ\pi °\pi ±\pi »\pi ΄\pi }$ collection) by discarding all variables such that $\mathrm{\pi  \pi °\pi \pi Έ\pi °\pi ±\pi »\pi ΄\pi }\left[i\right].\mathrm{\pi \pi \pi }=i$.