Evaluation reduction relation derivable

An n-place relation on the set of terms in a calculus that represents computation, either Small-step/Structural operational semantics (SOS), Big-step/Natural operational semantics or something else.