In matematica e in informatica, soprattutto per quello che riguarda i database, per relazione si intende, grosso modo, un collegamento che sussiste tra un determinato numero di oggetti appartenenti a determinati insiemi. Come esempio di relazione si potrebbero considerare enunciati come "5 < 6" e "z=x+y". Si osserva che la prima di queste scritture concerne due oggetti specifici, i numeri 5 e 6, e un enunciato che li riguarda, mentre il secondo riguarda un insieme di situazioni concernenti quantità numeriche. Formalmente conviene dare una definizione che riguarda un insieme di sequenze e trattare le particolari situazioni come elementi del suddetto insieme.