田中一之、鈴木登志雄著『数学のロジックと集合論』

A を集合としたとき、 A^n から A への写像を演算だと言っています。
定数は A^0 から A への写像とみなせると書いています。

例えば、自然数の集合 N = {0, 1, …} の定数 0, 1 はそれぞれ

N^0 = {空写像} ∋ 空写像 → 0 ∈ N
N^0 = {空写像} ∋ 空写像 → 1 ∈ N

と解釈するということですか？