super
super M
-- yields the module which the module M is a submodule of.
super f
-- if f is a map whose target is a submodule of M, yields the
composite of f with the inclusion into M.
See also cover and ambient.
Go to main index.
Go to concepts index.