右 "r"-加群は反変加法的函手である。