Formulation of the Channel Separation property

Consider two circuits: