Formalmente, dada una relación matemática de pares de elementos de un conjunto formula_1 :formula_2