enak\tQn\> = enak\Sup\ retreat