2.2代数、基调和项 2.2.1代数 。代数 -一个或多个集合，叫做载体 一组特征元素和一阶函数，也叫做代数函数 f:A1××Ak→A 。 例：N=〈N,0,1,+,*) 载体N是自然数集合 -特征元素0,1∈N,也叫做零元函数 函数+，*：N×N→N2.2 代数、基调和项 2.2.1 代数 • 代数 – 一个或多个集合，叫做载体 – 一组特征元素和一阶函数，也叫做代数函数 f : A1  … Ak → A • 例：N =  N, 0, 1, +,   – 载体N是自然数集合 – 特征元素0, 1N，也叫做零元函数 – 函数+,  : N  N → N