The Clausius theorem, also known as the Clausius inequality, states that for a thermodynamic system exchanging heat with external thermal reservoirs and undergoing a thermodynamic cycle, the following inequality holds. Wikipedia