Más exactamente: Sea formula_20 una relación sobre un conjunto formula_1.