(DE UNION (X Y) , (COND , , ((NULL X) Y) , , ((MEMBER (CAR X) Y) (UNION (CDR X) Y)) , , ( T (CONS (CAR X) (UNION (CDR X) Y))) , ,,,) ,,,)