Using these facts, many definitions and statements about modules can be immediately translated into definitions and statements about bimodules.
利用这些事实，许多关于模的定义与陈述可立即翻译为双模的定义与陈述。