Порядок на классах термов

ПодтеорияСобственное расширение
0 SST 
0 VST 
0 CST 
CST N¹CST 
CST STs 
CST D1CST 
D1CST D2CST 
DCST D2CST 
N¹CST NCST 
NCST NSTsa 
NCST DCST 
NSTsa NSTso 
SST VT 
SST STs 
STs NSTsa 
VST VT