本質拡大とは単射 "u" : "m" → "e" であってすべての0でない部分対象 "s" : "n" → "e" に対してファイバー積 "n" ×"e" m ≠ 0であるようなものである。