Up
5.3 理論の部分
二つの理論
T
i＝(
G
i
,
G
i
,
U
i
,
U
i
,
A
i
) (i＝1,2)
において，
文生成変形システム (
G
i
,
G
i
,
U
i
) (i＝1,2) に関して，
(
G
1
,
G
1
,
U
1) ⊂ (
G
2
,
G
2
,
U
2)
テクスト変形システム (
G
#
i
,
G
#
i
,
U
#
i
) (i＝1,2) に関して，
(
G
#1,
G
#1,
U
#
1
) ⊂ (
G
#2,
G
#2,
U
#
2
)
公理
A
1
，
A
2
に関して，
A
1
⊂
A
2
が成り立っているとき，
T
1
は
T
2
の部分であると言う。