x＝yの形式を作るのがコピュラであるが、「y＝xと交換可能であり、2つの要素が一致すること」を指定(してい)、「y＝xとすることができず、yがxの属性を表すこと」を措定(そてい)と呼ぶ。