これは、レトラクションとして知られる特別なタイプの連続函数 "f" : "d" "n" → "s" "n" - 1を定義する。