yが存在すると、xの極小モデルと呼ばれる。