1) {S1, P1, Q1, M1, S2, P2, Q2, M2, ..., Sn, Pn, Qn, Mn, ...}
D2CST;2) Ø є D2CST;
3) U є D2CST;
4) (t1, t2 є D2CST) => (t1´, (t1
t2), (t1
t2) є D2CST).Класс термов: D2CST.
Определение класса D2CST:
1) {S1, P1, Q1, M1, S2, P2, Q2, M2, ..., Sn, Pn, Qn, Mn, ...}D2CST;
2) Ø є D2CST;
3) U є D2CST;
4) (t1, t2 є D2CST) => (t1´, (t1t2), (t1t2) є D2CST).