对于自然数a和b 定义