On Steinhaus Sets, Orbit Trees And Universal Properties Of Various Subgroups In The Permutation Group Of Natural Numbers