How does the game mechanic of "Magic: The Gathering" allow players to add mana to their mana pool?

In "Magic: The Gathering," players can add mana to their mana pool by tapping land cards, which represent different types of mana. This mana can then be used to cast spells and summon creatures during the game.