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