===== File: inslett.txt =====

============================================================================
Il tipo di dato "Insieme di lettere alfabetiche maiuscole"
============================================================================

1) DOMINI:
   - dominio di interesse: InsLettere = { {}, {'A'}, {'B'}, ... , {'A','B'},
                                          ... {'A',...,'Z'} }

   - altri domini: Lettera = { 'A', 'B', ... , 'Z' }
                   Booleano = { vero, falso }

2) COSTANTI:
   - InsiemeVuoto

3) OPERAZIONI:

   Operazioni elementari:

     - verifica se un insieme e` vuoto
         TestInsiemeVuoto: InsLettere --> Booleano
  
     - inserimento di una lettera in un insieme di lettere
         InserisciLettera: InsLettere x Lettera --> InsLettere
  
     - eliminazione di una lettera da un insieme di lettere
         EliminaLettera: InsLettere x Lettera --> InsLettere
  
     - verifica di appartenenza di una lettera ad un insieme
         VerificaAppartenenza: InsLettere x Lettera --> Booleano

   Ulteriori operazioni:

     - unione di due insiemi di lettere
         Unione: InsLettere x InsLettere --> InsLettere

     - intersezione di due insiemi di lettere
         Intersezione: InsLettere x InsLettere --> InsLettere

     - complemento di un insieme di lettere
         Complemento: InsLettere --> InsLettere