定義.書き換え系が合流性を満たすとき、以下が成り立つ。なお、正規形が高々一個である事を指して「書き換え順序によらず、結果が一意に定まる」と言われることがあるが、そもそも正規形に辿り着くことが可能かどうか(つまりその順序での書き換えの「結果」と呼べるものが存在するかどうか)は書き換え順序によって変化する事があるため、厳密にはミスリーディングである。常に一意な結果があると言うには「結果」の定義に加え強正規化性等の性質が追加で必要になる。関連する他の性質.合流性に関連した性質として、局所合流性、準合流性、強合流性、チャーチ・ロッサー性などがある。チャーチ・ロッサー性.局所合流性.局所合流性は合流性より弱い性質で、全ての要素が局所合流性を持つ場合でも、例えば書き換え規則にループが含まれる場合など、システム全体の合流性が成立するとは限らない。準合流性.全ての要素が準合流性を持つならば、システムは合流性を持つ。強合流性.全ての要素が強合流性を持つならば、システムは合流性を持つ。強合流性は以下の定理と共に用いることができる:三井好美かつてはオフィス野沢、メディアフォースに所属していた。鰻丸ちびまる子ちゃん(アニメ)来歴.さんま・一機のその地方でしか見られない面白そうな番組を全国のみんなで楽しく見ちゃおうとする番組なお本項では、この発展系で放送されていた「明石家・小堺の海外国内・市内町内でしか見られないテレビ番組」(あかしやこさかいのかいがいこくないしないちょうないでしかみられないテレビばんぐみ)についても述べる。概要.一方『明石家・小堺の海外国内・市内町内でしか見られないテレビ番組』は、フジネットワークだけではなく、日本国内のケーブルテレビ局の番組、イタリア、キューバ、イギリス、香港など諸外国の放送局の番組も合わせて紹介された。この番組中で紹介された番組.他多数ぱじゃま明石家・小堺の海外国内・市内町内でしか見られないテレビ番組湊貴大略歴.三田市立母子小学校三田市立母子小学校(さんだしりつもうししょうがっこう)は、兵庫県三田市母子にある公立小学校。三田市では初の小規模特認校に指定されている。通学区域.永沢寺、母子野村無名庵概要.概要.