What is beta reduction?

The act of reducing a Beta-redex/Reducible expression by substituting the redex's argument into its function body.