Si existe una relación binaria formula_4 y un entero positivo formula_5 tal que para todo formula_6, se satisfacen las siguientes condiciones: