射的モジュールと単射モジュールの定義および同値条件