A<B es igual a JK‘ * F(A,B)