Los símbolos de relación “formula_1” y “formula_2” se usan en axiomas y reflejan su interpretación en el modelo teórico como conjunto de igualdad y conjunto de inclusión.