власне монотонна незменшувальна функція; власне монотонно незнижена функція; строго монотонно незнижена функція; суворо монотонна незменшувальна функція