Вы угадали, правильный ответ: банах
банах