The Global Structure Of Iterated Function Systems