The mathematical formulation of the Clausius Inequality is given by the integral δQ/T ≤ 0 for a system undergoing a cyclic process. It is derived from the second law of thermodynamics which states no process is possible whose sole result is the transfer of heat from a body of lower temperature to a body of higher temperature.