A smart thermostat lets the room drift within a few degrees of its setpoint before switching on heating or cooling. “Within d degrees of the setpoint” is an absolute value inequality, |T − s| ≤ d, and its edges, |T − s| = d, are where the system kicks in.