Eine ganze Zahl heißt gerade, wenn sie ohne Rest durch zwei teilbar ist; andernfalls heißt sie ungerade. Die Menge der ganzen Zahlen wird dadurch in zwei gleichmächtige disjunkte Teilmengen zerlegt. Diese Parität (von lateinisch: paritas „Gleichheit, gleich stark“) ist bei vielen Fragestellungen eine hilfreiche Invariante und zählt zu den wichtigen Hilfsmitteln in der elementaren Zahlentheorie.