aux Union (general)

Como son muy parecidas van las 3 juntas:

aux Union (t,t’:: [T]) =
t ++ [x | x ← t’, ¬en(x,t)];

Descr: Concatena dos listas, pero filtrando los repetidos de la segunda. Lo use para el ultimo ejercicio.

No te importa si en la primer lista hay repetidos o eso no puede pasar?

no, inclusive la segunda lista puede tener temas repetidos. lo que va a hacer es tomar los temas de la 2da lista que no estan en la primera.