see also Sect. 2.3 pg(s). 22-24 in "J. Komara and P. J. Voda. Lecture Notes in Theory of Computability. 2001."