The set of order - sorted terms of sort s freely generated by V , Te ( V ) s , is the least set satisfying • if I e V , and s ' < 3 , then xe Ts ( V ) ...
確定! 回上一頁