En matemáticas, una relación ternaria R es el conjunto de ternas, formula_1 que cumplen una determinada condición que define R