如果存在整數 γ {\displaystyle \gamma } 使得同餘式
成立,那麼整數 α {\displaystyle \alpha } 可以稱為模 β {\displaystyle \beta } 的二次剩餘。否則 α {\displaystyle \alpha } 是模 β {\displaystyle \beta } 的二次非剩餘。