### 2.6.9. Implied by

If constraint ${C}_{\mathrm{𝑎𝑙𝑠𝑜}}$ holds and if all restrictions of constraint ${C}_{\mathrm{𝑒𝑛𝑡𝑟𝑦}}$ hold then constraint ${C}_{\mathrm{𝑒𝑛𝑡𝑟𝑦}}$ also holds. Note that we try to restrict ourselves to the transitive reduction of the implication graph between constraints.

EXAMPLE: As an example, constraint ${C}_{\mathrm{𝑒𝑛𝑡𝑟𝑦}}=$ $\mathrm{𝚖𝚒𝚗𝚒𝚖𝚞𝚖}$ is implied by constraint ${C}_{\mathrm{𝑎𝑙𝑠𝑜}}=$ $\mathrm{𝚊𝚗𝚍}$.