Return values are the outputs that a function provides after execution, allowing the function to communicate results back to the caller. They are essential for modular programming, enabling functions to be reused and composed into larger, more complex operations by passing results between them.