A<B es igual a K‘*H(A,B)