La relación implica que para todo formula_162 y formula_163.