正式的运算