A [x|x=k+1] B[x|x=k-1] K属于N