给定个体域D和D上的解释I,称D上n元有序组集合D}为可定义的,如果存在含n个自由变元的谓词公式a(x1,x2,...,xn),a(x1,x2,...,xn)在域D和解释I下为真当且仅当对x1,x2,...,xn的賦值d1,d2,...,dn满足.已知n元有序组集合A,B都是可定义的,请证明:
(1)AUB是可定义的.
(2)A-B是可定义的.
(3)n-1元有序组集合存在某个d使得是可定义的.
设习为正项级数,且存在正数N0,对一切n>N0,
有证明:若级数收敛,则级数也收敛;若发散,则习也发散.