===== File: insint.txt =====

============================================================================
Il tipo di dato "Insieme di interi"
============================================================================

1) DOMINI:
   - dominio di interesse: InsInteri = { {}, {0}, {1}, {-1}, ... , {1,2}, ... ,
                                         {-8,-6,0,5,12}, ... }

   - altri domini: Intero = { ..., -2, -1, 0, 1, 2, 3, ... }
                   Booleano = { vero, falso }

2) COSTANTI:
   - InsiemeVuoto

3) OPERAZIONI:

   Operazioni elementari:

     - verifica se un insieme e` vuoto
         TestInsiemeVuoto: InsInteri --> Booleano
  
     - inserimento di una intero in un insieme di interi
         InserisciIntero: InsInteri x Interi --> InsInteri
  
     - eliminazione di una intero da un insieme di interi
         EliminaIntero: InsInteri x Intero --> InsInteri
  
     - verifica di appartenenza di una intero ad un insieme
         VerificaAppartenenza: InsInteri x Intero --> Booleano

   Ulteriori operazioni:

     - unione di due insiemi di interi
         Unione: InsInteri x InsInteri --> InsInteri

     - intersezione di due insiemi di interi
         Intersezione: InsInteri x InsInteri --> InsInteri

     - complemento di un insieme di interi
         Complemento: InsInteri --> InsInteri