Una relación en un conjunto formula_1 se dice que es: