t1='t2 no pertenece a TERML, sino que a FORML. Casi siempre ponen "Lenguaje de primer orden con igualdad", pero no sabría decirte qué pasa si no está escrito explícitamente en la letra.
Sobre lo otro, me parece que si sólo te dan el tipo de similaridad, tendrías que aclarar qué símbolos vas a usar, porque sino, cuando definís el lenguaje y los usas, en realidad no les estarías dando significado. Además, una vez escuché en la clase la frase "Un lenguaje viene dado por su tipo de similaridad Y su alfabeto". Eso es lo que haría yo, si un profesor puede aclararlo, mejor.
Saludos,