"k" を "n" 変数の函数体、"l" を "m" 変数の函数体、"n" &gt; "m" とすると、"k" から "l" への射は存在しない。