全単射的変換
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2013/03/28 22:47 UTC 版)
任意の与えられたモデルについて一貫するモデルが常に1つ存在する。すなわち、一貫性関係は全単射である。それらモデルの対は、一貫性全単射で関係しているときのみ一貫している。どちらのモデルも同じ情報を持つが、表現が異なる。
※この「全単射的変換」の解説は、「モデル変換」の解説の一部です。
「全単射的変換」を含む「モデル変換」の記事については、「モデル変換」の概要を参照ください。
- 全単射的変換のページへのリンク