"m" と "n" がともに可換環上の "r"-加群であれば、それらのテンソル積は再び "r"-加群である。