Lifting theorems for real functions