Il dominio di una variabile non è altro che un vincolo?

Question

Nella programmazione dei vincoli abbiamo variabili e loro domini e quindi tutti i vincoli, ma se sei al concetto di un dominio di una variabile non è altro che un altro tipo di vincolo, stai dicendo che questa variabile può prendere tutti questi valori. C'è qualche motivo particolare per cui il dominio è definito come un concetto diverso rispetto ai vincoli?