Seja definida por e seja o conjunto dado por .

Se é o maior elemento de e é o menor elemento de , então é igual a