computing theory

As I read the wiki entry on Transfinite number, some problems come to my mind. Take Finite out of Infinite what is left after I take a finite subset out of an infinite set?

A Turing machine simulator that can simulates the turing machine described in the book “Introduction to Models of Computation”.