変換器Cが全単射であることと、Cの逆変換器が存在することは同値である。
全単射でなければ逆変換に未知数が発生して逆変換器は一意にならない。