@sss888: If we colonized an extrasolar planet, we would refer to that star as the sun, relative to our stellar system, as inhabitants of that planet. We would not be calling Sol the "sun" because it would not be our sun. It would be Earth's sun, if anything.