Where does this probability formula come from?

From Introduction to Probability, 2ed (Bersekas et al), chapter 8.1 p. 417:

I would like to ask where the underlined formula comes from. So far, the formulas given in that chapter are:

Please help. Thank you so much!

Know someone who can answer? Share a link to this question via email, Twitter, or Facebook.