QVT-Relationsにおいて、2つのドメイン間で変数を共有し制約を記述する部分を何と呼ぶか。

Where句はマッピングが成立した後に満たされるべき追加条件を定義する。