初等的関数のクラスは次の何れかの集合と射影の合成に関する閉包と一致する:formula_38,formula_39,formula_40ここでformula_41は上で定義した減算関数である。