User blog comment:LittlePeng9/Binary relations via Turing machines/@comment-25418284-20131004211047/@comment-1605058-20131005054124

That'd certainly be the case if we modified definition such that machine always halts. I have really strong believe that this holds for my definition too, though I'm not 100% sure.