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