Информационная система по формальным теориям
VST
Класс термов:
VST.
Определение класса VST:
VST={x
1
, y
1
, z
1
, x
2
, y
2
, z
2
, ..., x
n
, y
n
, z
n
, ...}.