En ligning som alltid er oppfylt, uansett valg av den ukjente, kalles en . Det tredje og siste eksempelet over er en identitet.