Essential submodule
Redirect to:
Essential extension