これを結合の制約(coupling constraints)という。