Density-functional theory (DFT) for electrons at finite temperature is increasingly important in condensed matter and chemistry. The exact conditions that have proven crucial in constraining and constructing accurate approximations for ground-state DFT are generalized to finite temperature, including the adiabatic connection formula. We discuss consequences for functional construction.