That was a pretty good summary of the situation.The collector is not tied directly to Vcc unless you are thinking of a common collector arrangement. In other cases the collector is connected to the supply through a load resistance or impedance. In those circumstances with sufficient collector current, it is possible for the collector voltage to fall below the base voltage, in which circumstance the transistor is presumed to be in saturation. In that state the base-collector junction must be forward biased.
It's not always consistently stated in the literature, when saturation has been reached in a BJT - but the "condition" at which further increase in base current has no effect on the collector current magnitude is a reasonable choice of operating state for the device to be considered as being in saturation.
by Jake Hertz
by Duane Benson
by Aaron Carman
by Aaron Carman