Om det finns ett tal x, så att x²≡q mod p, sägs q vara kvadratisk rest till p, i annat fall är q kvadratisk icke-rest till p (jämför kongruens modulo). Exempelvis kan man se att 7 är en kvadratisk rest till