"φ" は部分空間 "u" ⊂ "v" 上の汎函数で "n" によって支配されるもの、すなわち