This paper formulates and proves two types of necessary and sufficient conditions for the characterization of positively (flow) invariant sets with respect to the state-space trajectories of the time-varying (non-autonomous) ...