In carbon markets: a reduction in GHG emissions against the business-as-usual scenario that results from the implementation of Mitigation Activities [Section 3.9, DOE Department Circular No. DC2025-09-0018, Providing General Guidelines for the Generation, Managements, and Monitoring of Carbon Credits in the Energy Sector]