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