Narrowing is a mechanism whereby a variable is bound to a value selected from among alternatives imposed by constraints.
Îmbinarea este un mecanism prin care o variabilă este legată de o valoare selectată dintre alternativele impuse de constrângeri.