What is the evaluation relation?

In operational semantics, a relation that relates terms to another reduced term, either representing one step of evaluation or directly carrying to a normal form.