Convergence theory for partial images and revision of the definition of total images