項と項集合はもちろん違うのだが、コゥゼン（Kozen）の項オートマトンと項集合オートマトンとなると、区別がちょっとわかりにくくなる。項集合の全体はコゥゼン代数（termset algebla）となるが、項の全体はそれほどハッキリした代数構造は持たない。まー、…