The Clausius theorem (1855), also known as the Clausius inequality, states that for a thermodynamic system (e.g. heat engine or heat pump) exchanging heat with external thermal reservoirs and undergoing a thermodynamic cycle, the following inequality holds.