### 2.6.7. Generalisation

Denotes that constraint ${C}_{\mathrm{𝑎𝑙𝑠𝑜}}$ is a generalisation of constraint ${C}_{\mathrm{𝑒𝑛𝑡𝑟𝑦}}$.

EXAMPLE: As an example, constraint ${C}_{\mathrm{𝑎𝑙𝑠𝑜}}=$ $\mathrm{𝚊𝚕𝚕}_\mathrm{𝚖𝚒𝚗}_\mathrm{𝚍𝚒𝚜𝚝}$ is a generalisation of constraint ${C}_{\mathrm{𝑒𝑛𝑡𝑟𝑦}}=$ $\mathrm{𝚊𝚕𝚕𝚍𝚒𝚏𝚏𝚎𝚛𝚎𝚗𝚝}$ where we replace a disequality between two variables by the fact that two line segments of same length do not overlap.