A control statement in a programming language that contains the word "return" followed by an optional expression and a semicolon.