- Origin
Used for defining .
- Constraint
-
- Type
| |
- Arguments
| |
| |
| |
- Restrictions
-
- Purpose
Let and respectively denote the projections of and onto dimension .
If and overlap then the size of their intersection is equal to the size of in dimension ,
as well as to the size of in dimension .
- Example
-
- Typical
-
- Symmetry
Arguments are permutable w.r.t. permutation .
- Used in
.
- See also
implies:
.
related:
Β (an extension of the constraint).
- Keywords
constraint type:
logic.
geometry:
geometrical constraint,
positioning constraint,
orthotope,
guillotine cut.