Sean formula_14 e formula_15 atributos (o conjunto de atributos) de una relación formula_16.