Introduce eta-max vector

Introduce the notion of eta-max vector and emax function.

(I'm not super happy with the comments, so suggest your improvements)