これを図で表現したものが図3である。全ての要素が準合流性を持つならば、システムは合流性を持つ。confluence)は局所合流性を強くした性質である。いずれかが成立することを表す。これを図で表現したものが図4である。全ての要素が強合流性を持つならば、システムは合流性を持つ。(日時は個人設定で未設定ならばUTC)。表示-継承ライセンスの下で利用可能です。追加の条件が適用される場合があります。詳細は利用規約を参照してください。Cookieに関する声明モバイルビュ。