En , eller en , er i matematikk en sammenheng mellom to og to objekter i en mengde. For hvert par av objekter vil relasjonen enten være sann eller ikke. Eksempler på relasjoner er «lik», «større enn», «kongruent» og «ortogonal til».