Is the cable car ticket price included in the price of the Brunch on Teide + Cable Car Ticket activity?

Yes, tickets for ascending and descending by cable car are included.