Problema 17 ..........separado del resto

PRIMER POST(EZE)

problema agregarEtiqueta (e:Etiqueta, s:SA) = result:SA{
asegura result = = if(incluido(e,s)) then s else s++[e];


2DO POST (MARIANO)

problema agregarEtiqueta (e:Etiqueta, s:SA) = result:SA{
asegura result = = if(incluido(e,s)) then s else s++[e];
// no podes comparar cosas de distinto tipo. ni siquiera concatenarlas.(mariano)

3ER POST(EZE)

problema agregarEtiqueta (e:Etiqueta, s:SA) = result:SA{
asegura etiquetas(result) = = if(pertenece(e,etiquetas(s))) then etiquetas(s) else etiquetas(s)++[e];// No me acuerdo bien como se usan los implica en vez del if. 
asegura temas(result)= =temas(s);// no deberían de haber cambiado si solo agregué una etiqueta. En cuanto a los invariantes creo que no hay que decir nada, porque si la etiqueta ya estaba no la puse y si la puse es distinta. Y los temas son los mismos. Por lo tanto es un SA hecho y derecho. 

Creo que este esta en orden. Al menos que me haya olvidado algo, lo doy mi OK