Mathematical Foundations of the State Lumping of Large Systems