Por otro lado, si formula_162 es una relación de orden estricto sobre formula_1, entonces