Sea formula_1 un conjunto dado no vacío y formula_2 una relación binaria definida sobre formula_1.