と制限することにより得られる項書換え系である。