\(\alpha \)を仮定\(x_{1},\dots ,x_{n}\)の下での対象、\(a_{i}\)を\(x_{i}\)と同じ種類の対象とする。\(\alpha \)の構成において各\(x_{i}\)に\(a_{i}\)を代入したものはまた妥当な構成である。代入の結果得られる対象を\(\alpha [x_{1}\mapsto a_{1},\dots ,x_{n}\mapsto a_{n}]\)と書く。