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

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