数学上，补码与其真值构成了以某一值（计算机的字 长）为模的 “ 模数系统 ”

或 “ 同余 ” 结构的代数系统。