- Origin
Pairs of variables related by hiden constraints sharing the same table.
- Constraint
-
- Argument
| |
- Restrictions
-
- Purpose
Enforce the condition
.
- Example
-
The constraint holds since
1 is paired with 8,
9 is paired with 6,
5 is paired with 0,
6 is paired with 7.
- Typical
-
- Arg. properties
Contractible wrt. .
- See also
implied by:
,
,
,
.
related:
Β (pairs linked by an element with the same table).
- Keywords
characteristic of a constraint:
pair.
constraint type:
predefined constraint.