Порядок на классах термов
Подтеория
Собственное расширение
0
CST
0
SST
0
VST
CST
N¹CST
CST
STs
CST
D
1
CST
D
1
CST
D
2
CST
DCST
D
2
CST
N¹CST
NCST
NCST
DCST
NCST
NSTsa
NSTsa
NSTso
SST
VT
SST
STs
STs
NSTsa
VST
VT