剰余の剰余
\[\mod\left(\mod\left(\alpha,n\beta\right),\beta\right)=\mod\left(\alpha,\beta\right)\]
剰余演算の実部と虚部
\[\mod\left(\alpha,\beta\right)=\Re\left(\beta\right)\mod\left(\Re\left(\frac{\alpha}{\beta}\right),1\right)-\Im\left(\beta\right)\mod\left(\Im\left(\frac{\alpha}{\beta}\right),1\right)+i\left\{ \Re\left(\beta\right)\mod\left(\Im\left(\frac{\alpha}{\beta}\right),1\right)+\Im\left(\beta\right)\mod\left(\Re\left(\frac{\alpha}{\beta}\right),1\right)\right\} \]
実数の複素数と複素共役の剰余演算
\[\mod\left(1,\overline{\alpha}\right)=\overline{\mod\left(1,\alpha\right)}+i\overline{\alpha}\left|\sgn\mod\left(\Im\alpha,\left|\alpha\right|^{2}\right)\right|\]
複素数と複素共役の実数での剰余演算
\[\mod\left(\alpha,1\right)=\mod\left(\Re\alpha,1\right)+i\mod\left(\Im\alpha,1\right)\]
偏角と剰余の関係
\[\Arg\alpha=\mod\left(\Arg\left(\alpha\right),-2\pi,\pi\right)\]
剰余演算の定数倍
\[\frac{1}{\delta}\mod\left(\alpha,\beta,\gamma\right)=\mod\left(\frac{\alpha}{\delta},\frac{\beta}{\delta},\frac{\gamma}{\delta}\right)\]
剰余演算と床関数・天井関数の関係
\[\alpha=\beta\left\lfloor \frac{\alpha-\gamma}{\beta}\right\rfloor +\mod\left(\alpha,\beta,\gamma\right)\]
剰余演算の引数
\[\mod\left(\alpha,\beta,\gamma\right):=\mod\left(\alpha-\gamma,\beta\right)+\gamma\]
負数の剰余演算
\[\mod\left(-x,a,b\right)=-\mod\left(x+2b,a,b\right)+a\left|\sgn\left\{ \mod\left(x+2b,a,b\right)-b\right\} \right|+2b\]
剰余演算同士の和・差
\[\mod\left(x,a,b\right)+\mod\left(y,a,b\right)=\mod\left(x+y,a,b\right)+a\mzp_{0,1}\left(b\sgn\left(a\right),b\sgn\left(a\right)+\left|a\right|;\sgn\left(a\right)\left(\mod\left(x,a,b\right)+\mod\left(y,a,b\right)\right)\right)\]