cada uno de los elementos de formula_114 está contenido en algún conjunto formula_1 de formula_113, por lo que formula_31 para todo formula_123, y así formula_20 es reflexiva.