>例えば lim は holim の特別の場合だ。
くわしく