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

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