En matemáticas y lógica, una relación "n"-aria "R" (o a menudo simplemente relación) es una generalización de la relación binaria, donde "R" está formada por una tupla de "n" términos: