加法运算律是规律还是定律?