Para a produção de energia, os mamíferos oxidam compostos de carbono nos tecidos, produzindo dióxido de carbono gasoso, CO₂(g), como principal subproduto. O principal meio de remoção do CO₂ (g) gerado nos tecidos envolve sua dissolução em água, seguida da reação do gás dissolvido com a água, sob a ação de um catalisador biológico, a enzima anidrase carbônica, como representado a seguir.