Up
5.2 理論の強弱
二つの理論
T
1
,
T
2
において，
T
1
から導かれる文変形システムおよびテクスト変形システムが，
T
2
から導かれる文変形システムおよびテクスト変形システムよりもそれぞれ弱く，かつ
T
1
の公理が
T
2
の定理になる
とき，
T
1
は
T
2
よりも弱い（
T
2
は
T
1
よりも強い）と言い，
T
1
≦
T
2
で表わす。
このとき,“
T
1
≦
T
2
かつ
T
2
≦
T
1
”は，理論の間の同値関係になるが，これを
T
1
〜
T
2
と表わす。