772   @{term "Abs_lst as x"} \hspace{5mm}

   772   @{term "Abs_lst as x"} \hspace{5mm}

   773   @{term "Abs_res as x"}

   773   @{term "Abs_res as x"}

   774   \end{center}

   774   \end{center}

   775 

   775 

   776   \noindent

   776   \noindent

   778   call the types \emph{abstraction types} and their elements

   778   call the types \emph{abstraction types} and their elements

   779   \emph{abstractions}. The important property we need to derive is the support of 

   779   \emph{abstractions}. The important property we need to derive is the support of 

   780   abstractions, namely:

   780   abstractions, namely:

   781 

   781 

   782   \begin{thm}[Support of Abstractions]\label{suppabs} 

   782   \begin{thm}[Support of Abstractions]\label{suppabs}