OpenLLM-France/wikimedia huggingface dataset:
# Indice di Divisia

L'indice di Divisia, dal nome dell'economista francese François-Jean-Marie Divisia, è un indice definito in ambito continuo utilizzato per la misurazione delle variazioni nei volumi e nei prezzi di determinati aggregati.
Adattamenti al caso discreto dell'indice di Divisia, e quindi sue approssimazioni empiriche, sono:
* l'indice di Laspeyres;
* l'indice di Paasche;
* l'indice di Fisher;
* l'indice di Törnqvist.

## Calcolo dell'indice

Il valore di un aggregato risulta uguale alla somma delle quantità degli elementi che lo compongono moltiplicati per i rispettivi prezzi. Indicando con $\ X_{t}$ il valore dell'aggregato X al tempo t, con $\ p_{it}$ e $\ q_{it}$, rispettivamente, il prezzo e la quantità dell'elemento i al tempo t, avremo:
    $\ X_{t}=\sum _{i}p_{it}\ q_{it}$
Derivando rispetto al tempo e dividendo per $\ X_{t}$ otteniamo:
    ${\frac {{\dot {X}}_{t}}{X_{t}}}=\sum _{i}{\frac {q_{it}}{\sum _{i}p_{it}\ q_{it}}}{\dot {p}}_{it}+\sum _{i}{\frac {p_{it}}{\sum _{i}p_{it}\ q_{it}}}{\dot {q}}_{it}$
dove $\ {\dot {x}}={\frac {dx}{dt}}$.
Dall'equazione precedente otteniamo:
    ${\frac {{\dot {X}}_{t}}{X_{t}}}=\sum _{i}v_{it}{\frac {{\dot {p}}_{it}}{p_{it}}}+\sum _{i}v_{it}{\frac {{\dot {q}}_{it}}{q_{it}}}$
dove $\ v_{it}$ è la quota di i sul totale nel periodo t, ovvero:
    $v_{it}={\frac {q_{it}p_{it}}{\sum _{i}p_{it}\ q_{it}}}$
Essendo:
    ${\frac {d\log x}{dt}}={\frac {\dot {x}}{x}}$
una formulazione alternativa è:
    (1) $\ {\frac {d\log X_{t}}{dt}}=\sum _{i}v_{it}\ {\frac {d\log {p}_{it}}{dt}}+\sum _{i}v_{it}\ {\frac {d\log {q}_{it}}{dt}}$
Nelle equazioni precedenti il primo addendo rappresenta la variazione dell'aggregato osservabile a seguito della variazione dei prezzi, costanti le quantità, mentre il secondo registra i cambiamenti imputabili alle variazioni nei volumi, costanti i prezzi.
In caso di un solo bene avremmo:
    $\ X_{t}=P_{t}\ Q_{t}$
da cui:
    (2) $\ {\frac {d\log X_{t}}{dt}}={\frac {d\log P_{t}}{dt}}+{\frac {d\log Q_{t}}{dt}}$
Notando il parallelismo tra la (1) e la (2) possiamo scrivere:
    $\ {\frac {d\log P_{t}}{dt}}=\sum _{i}v_{it}\ {\frac {d\log {p}_{it}}{dt}}$
    $\ {\frac {d\log Q_{t}}{dt}}=\sum _{i}v_{it}\ {\frac {d\log {q}_{it}}{dt}}$
Consideriamo la prima equazione. Dato un anno base (0), la variazione dell'indice tra l'anno base ed un anno T sarà dato da:
    $\int _{0}^{T}{\frac {d\log P_{t}}{dt}}dt=\int _{0}^{T}\left(\sum _{i}v_{it}\ {\frac {d\log {p}_{it}}{dt}}\right)dt$
da cui, integrando, otteniamo:
    $\log {\frac {P_{T}}{P_{0}}}=\int _{0}^{T}\left(\sum _{i}v_{it}\ {\frac {d\log {p}_{it}}{dt}}\right)dt$
L'indice dei prezzi di Divisia è dunque uguale a:
    ${\frac {P_{T}}{P_{0}}}=\exp \left(\int _{0}^{T}\left(\sum _{i}v_{it}\ {\frac {d\log {p}_{it}}{dt}}\right)dt\right)$
Analogamente, l'indice dei volumi di Divisia è dato da:
    ${\frac {Q_{T}}{Q_{0}}}=\exp \left(\int _{0}^{T}\left(\sum _{i}v_{it}\ {\frac {d\log {q}_{it}}{dt}}\right)dt\right)$
# Insenatura Esasperazione

L'insenatura Esasperazione (in inglese Exasperation Inlet) è una grande insenatura ricoperta di ghiaccio, larga circa 27 km e situata sulla costa di Oscar II, nella parte orientale della Terra di Graham, in Antartide.
L'insenatura è stata ricoperta dalla piattaforma glaciale Larsen B fino all'avvenuta disintegrazione di quest'ultima, nel 2002. La piattaforma era alimentata dai vari ghiacciai che si gettano nell'insenatura o nelle varie baie situate lungo la sua costa, tra questi si possono citare il Coppa, il Melville, il Minzuhar e il Pequod.

## Storia

L'insenatura è stata mappata per la prima volta nel 1947 dal British Antarctic Survey, che all'epoca si chiamava ancora Falkland Islands and Dependencies Survey (FIDS), che la battezzò con questo nome in virtù del fatto che la frastagliata natura del ghiaccio che ricopre l'insenatura causò notevoli difficoltà alle squadre di esploratori munite di slitta.
# Inghirami
## Persone

* Curzio Inghirami (1614-1655) – archeologo italiano
* Francesco Inghirami (1772-1846) – etruscologo, archeologo, bibliotecario e storico fiorentino
* Geminiano Inghirami (1371-1460) – religioso, umanista, giureconsulto e mecenate italiano
* Giovanni Inghirami (1779-1851) – presbitero e astronomo italiano
* Jacopo Inghirami (1565-1624) – ammiraglio del granduca di Toscana
* Tommaso Inghirami detto "Fedra" (1470-1516) – letterato e umanista italiano

## Altro

* Inghirami – azienda italiana, attiva nel settore del tessile e della moda
* Inghirami – famiglia italiana
* Ritratto di Fedra Inghirami – dipinto di Raffaello Sanzio
# Incontrolable

Incontrolable è un album live della band spagnola Ska-P, pubblicato nel 2004. La confezione è composta da un CD con i più grandi successi della band, e da un DVD dove, oltre ai vari contenuti speciali, si trovano i video live della band registrati direttamente da vari concerti del tour Que corra la voz del 2003.
Durante il concerto viene nominato più volte Carlo Giuliani, ragazzo ucciso il 20 luglio 2001 durante i fatti del G8 di Genova.

## Tracce

* Estampida (Live a Torino)
* Gato López
* El niño soldado (live nei Paesi Bassi)
* Planeta Eskoria
* Mestizaje
* Intifada
* El vals del obrero
* Mis colegas
* Vergüenza
* Solamente per pensare (versione in italiano di Solamente por pensar)
* Romero el madero
* Welcome to hell
* A la mierda
* Kasposos (Live a Parigi)
* Paramilitar
* Cannabis

## Formazione

* Pulpul (Roberto Gañan Ojea) - voce, chitarra
* Joxemi (Jose Miguel Redin Redin) - chitarra, voce
* Julio (Julio Cesar Sanchez) - basso, voce
* Kogote (Alberto Javier Amado) - tastiere, voce
* Luismi - batteria, percussioni
* Pipi (Ricardo Degaldo de la Obra) - voce, showman
# Incontro tra Gesù e san Giovanni Battista

L'Incontro tra Gesù e san Giovanni Battista è un dipinto olio su tela (198×148 cm) di Guido Reni databile al 1622 circa e conservato nella Quadreria dei Girolamini a Napoli.

## Storia e descrizione

La tela risale al secondo soggiorno napoletano di Guido Reni, segnalato in città nel 1621. La commessa avvenne da parte di Giovan Domenico Lercaro, facoltoso sarto e commerciante di tessuti pugliese (originario di Monopoli) attivo a Napoli; successivamente la tela fece parte di una donazione di cinquantasette opere (in cui erano presumibilmente altre due del Reni, la Fuga in Egitto e il San Francesco in estasi) che tra il 1622 e il 1623 passarono al complesso religioso.
Il Lercaro era in quegli anni in ottimi rapporti sia con il Reni che con il suo collaboratore Francesco Gessi, entrambi venuti in città per valutare la possibile commessa della decorazione della cappella del Tesoro di san Gennaro, che poi rifiutarono di compiere. In una postilla del testamento si legge che Guido Reni era già stato pagato in anticipo, ad eccezione del trasporto della tela da Bologna a Napoli, per un quadro non ancora consegnato, raffigurante il Battista (verosimilmente proprio l'Incontro del santo con Cristo), mentre del Gessi si attendeva un San Domenico e ancora un altro di cui il sarto non si ricordava il soggetto (le due commesse furono poi rettificate successivamente dai padri oratoriani a vantaggio del San Girolamo e l'angelo che verrà eseguito per la cappella omonima presente nella chiesa). Inoltre nel libro delle entrate e delle uscite della Congregazione del 1628-1633 è registrato l'arrivo da Bologna di un dipinto del Reni, e quindi probabilmente (con dovuta cautela visto che nel complesso religioso sono conservate altre due opere del pittore bolognese) proprio l'Incontro tra Cristo e il Battista, che sarebbe giunto in città già nel 1629.
Per volontà del Lercaro la raccolta di opere donate ai padri oratoriani doveva essere esposta nella sacrestia e nel coro; l'Incontro di Gesù con san Giovanni Battista ebbe il privilegio di essere collocato sulla parete frontale, sopra l'altare maggiore dell'oratorio, utilizzato per devozione privata dei padri filippini, a differenza dell'altra tela del San Francesco in estasi che invece fu collocata su una cappella della navata sinistra della chiesa, utilizzata per devozione popolare.
La tela, sostituita da una replica antica nella collocazione originaria, fu poi spostata in epoca più recente e ricollocata negli ambienti conventuali dov'è stata disposta la Quadreria dei Girolamini. Un disegno preparatorio della sola testa del Battista è invece conservato al castello di Windsor in Inghilterra.
# Infinite Comics

Infinite Comics è un marchio di fumetti della casa editrice statunitense Marvel Comics, che include nuove ed originali storie pubblicate in formato digitale che riguardano i famosi supereroi della casa editrice, tra i quali Spider-Man, Wolverine, i Guardiani della Galassia, Silver Surfer, gli X-Men e i Vendicatori. Il marchio venne lanciato nel 2012 con la pubblicazione del primo numero di Avengers vs. X-Men dal titolo "Infinite featuring Nova". Piuttosto che raccontare una storia attraverso una serie statica di tavole suddivise in vignette, gli Infinite Comics sono "avvantaggiati grazie al loro formato digitale dal quale vengono riprese tecniche che non sarebbero possibili in un fumetto cartaceo, come le transizioni dinamiche tra vignette e didascalie o balloon che appaiono in sequenza all'interno di una vignetta tramite un comando posto sul lettore." L'utente mantiene il controllo sull'andamento della lettura, procedendo nella storia con uno swipe o premendo su di un elemento sull'interfaccia grafica (per esempio, su una parola all'interno di un balloon) in modo da visualizzare una nuova schermata.
Gli Infinite Comics sono realizzati e ottimizzati per una lettura orizzontale su schermo.

## Cronologia delle principali pubblicazioni

* Avengers vs. X-Men #1: Infinite (febbraio 2012)
* Avengers vs. X-Men #6: Infinite (giugno 2012)
* Avengers vs. X-Men #10: Infinite (agosto 2012)
* Ultimate Spider-Man #0 (ottobre 2012)
* Guardians of the Galaxy: Rocket Raccoon (March 2013)
* Guardians of the Galaxy: Drax (marzo 2013)
* Guardians of the Galaxy: Gamora (aprile 2013)
* Guardians of the Galaxy: Groot (maggio 2013)
* Wolverine: Japan's Most Wanted #1 - 13 (luglio 2013)
* Infinity: Against The Tide #1 - 2 (agosto - settembre 2013)
* Iron Man: Fatal Frontier #1 - 13 (ottobre 2013 - gennaio 2014)
* Deadpool: The Gauntlet #1 - 13 (gennaio - aprile 2014)
* Daredevil: Road Warrior #1 - 4 (febbraio - marzo 2014)
* Ms. Marvel #1 (marzo 2014)
* Silver Surfer #Point One (marzo 2014)
* Captain America - The Winter Soldier #1 (marzo 2014)
* Amazing Spider-Man Cinematic Infinite #1 (aprile 2014)
* Amazing Spider-Man: Who Am I? #1 - 12 (aprile 2014 - novembre 2014)
* Original Sin #2: Infinite (maggio 2014)
* Original Sin #3: Infinite (giugno 2014)
* Thanos: A God Up There Listening #1 - 6 (luglio 2014)
* All-New Captain America: Fear Him #1 - 6 (ottobre - novembre 2014)
* X-Men '92 #1 - 8 (maggio - settembre 2015)
* Deadpool & Cable: Split Second #1 - ? (da ottobre 2015 a oggi)
* Marvel Universe: Ultimate Spider-Man Infinite #1 - ? (da giugno 2015 a oggi)
* Marvel Universe: Avengers Assemble Infinite #1 - ? (da gennaio 2016 a oggi)
* The Amazing Spider-Man & Silk: The Spider(Fly) Effect #1 - 8 (gennaio 2016 - maggio 2016)
* Daredevil/Punisher: Seventh Circle #1- (marzo 2016 - giugno 2016)
# Infinite Dreams

Infinite Dreams è un singolo del gruppo musicale britannico Iron Maiden, pubblicato il 6 novembre 1989 come unico estratto dal sesto album video Maiden England.
I tre brani del disco, come tutto il materiale del VHS, sono stati registrati durante i concerti tenuti dalla band il 27 e il 28 novembre 1988 a Birmingham e missati da Martin Birch.

## Tracce

* Infinite Dreams – 6:04 (Steve Harris)
* Killers – 5:03 (Paul Di'Anno, Steve Harris)
* Still Life – 4:37 (Dave Murray, Steve Harris)

## Formazione

* Bruce Dickinson – voce
* Adrian Smith – chitarra
* Dave Murray – chitarra
* Steve Harris – basso
* Nicko McBrain – batteria
# Indapur

Indapur è una città dell'India di 21.584 abitanti, situata nel distretto di Pune, nello stato federato del Maharashtra. In base al numero di abitanti la città rientra nella classe III (da 20.000 a 49.999 persone).

## Geografia fisica

La città è situata a 18° 08' 27 N e 75° 01' 57 E.

## Società
### Evoluzione demografica

Al censimento del 2001 la popolazione di Indapur assommava a 21.584 persone, delle quali 11.233 maschi e 10.351 femmine. I bambini di età inferiore o uguale ai sei anni assommavano a 2.919, dei quali 1.560 maschi e 1.359 femmine. Infine, coloro che erano in grado di saper almeno leggere e scrivere erano 14.860, dei quali 8.420 maschi e 6.440 femmine.
# Indicator (album)

Indicator è il nono album di inediti del duo darkwave tedesco Deine Lakaien. è anche il primo album di inediti a 5 anni di distanza dal predecessore April skies.

## Tracce

* One night - 3.54
* Who'll save the world? - 4.24
* Gone - 4.04
* Immigrant - 4.47
* Blue heart - 4.12
* Europe - 5.26
* Along our road - 4.51
* Without your words - 3.59
* Six o'clock - 4.04
* Go away bad dreams - 4.37
* On your stage again - 4.55
* The old man is dead - 4.06

## Formazione

* Alexander Veljanov - cantante
* Ernst Horn - polistrumentista
# Iniziativa personale

Iniziativa personale (Catch That Rabbit!) è un racconto fantascientifico scritto da Isaac Asimov. Pubblicato per la prima volta nel febbraio del 1944 sulla rivista Astounding Science Fiction, fa parte dell'antologia Io, Robot ed è stato inserito anche in altre raccolte di racconti di Asimov.
Venne pubblicato in italiano per la prima volta nel 1963 come Il robot multiplo.

## Trama

Gregory Powell e Mike Donovan si trovano nella base di una miniera in un asteroide e sono alle prese con l'ennesimo collaudo. Devono collaudare sul campo un robot, di nome Dave, in grado di controllare via radio 6 sottoposti. Purtroppo Dave ha dei problemi di funzionamento: certe volte non porta alla base i minerali che dovrebbe estrarre e, interrogato, non sa neanche lui cos'è successo. Viene controllato meticolosamente ma senza risultato. I due decidono di mettere una telecamera nella miniera collegata a un monitor nella base e vedono, con orrore, che durante questi momenti il robot fa marciare i suoi sottoposti; si precipitano nella miniera e appena Dave li vede smette subito. Viene interrogato di nuovo ma lui ricorda solo che stava facendo un'estrazione difficile, così decidono di interrogare uno dei suoi sottoposti, ma non ottengono risultati. Mike intuisce che il problema sta nell'iniziativa personale del robot: quando non è controllato dagli umani deve contare maggiormente sulla propria iniziativa.
Powell e Donovan decidono di osservare i robot dallo schermo per cercare di capire la causa del problema, ma sempre senza risultati. Così decidono di provocare una crisi del robot: vanno nella miniera, si avvicinano alla zona degli scavi e sparano un colpo di disintegratore sulla volta, ma non è la volta sopra ai robot a crollare, bensì la volta dove stanno loro, così rimangono intrappolati nella grotta. Purtroppo il robot a causa del crollo è in crisi, e quando si riprende è troppo lontano dai due umani, così non può contattarli. Powell capisce che Dave non riesce a controllare tutti e sei i suoi sottoposti e durante i momenti di crisi non sapendo cosa fare si mette a "giocherellare" con i suoi sottoposti quasi fossero delle dita; così spara un colpo di disintegratore contro uno dei sottoposti, distruggendolo: Dave si riprende e li salva.
# Internazionali d'Italia 2011 - Singolare femminile

Il singolare femminile degli Internazionali d'Italia 2011 è stato un torneo di tennis facente parte del WTA Tour 2011.
La detentrice del titolo era María José Martínez Sánchez, eliminata al primo turno dalla russa Ekaterina Makarova.
Marija Šarapova ha sconfitto in finale Samantha Stosur per 6-2, 6-4.

## Teste di serie

Le prime otto teste di serie ricevono un bye per il secondo turno.
* Caroline Wozniacki (semifinale)
* Francesca Schiavone (quarti di finale)
* Viktoryja Azaranka (quarti di finale, ritirata per infortunio ad un gomito)
* Li Na (semifinale)
* Jelena Janković (quarti di finale)
* Samantha Stosur (finale)
* Marija Šarapova (campionessa)
* Agnieszka Radwańska (secondo turno)
* Marion Bartoli (secondo turno)
* Shahar Peer (terzo turno)
* Svetlana Kuznecova (primo turno)
* Andrea Petković (secondo turno)
* Ana Ivanović (secondo turno)
* Kaia Kanepi (primo turno)
* Flavia Pennetta (primo turno)
* Anastasija Pavljučenkova (terzo turno)

## Qualificate

* Anastasija Rodionova (secondo turno)
* Arantxa Parra Santonja (primo turno)
* Anabel Medina Garrigues (terzo turno)
* C Scheepers (primo turno)
* Tamira Paszek (primo turno)
* Polona Hercog (terzo turno)
* Christina McHale (secondo turno)

## Lucky loser

* Jie Zheng (primo turno)
* Angelique Kerber (primo turno)

## Giocatrici che hanno ricevuto una wildcard

* Alberta Brianti (secondo turno)
* Corinna Dentoni (primo turno)
* Romina Oprandi (secondo turno)

## Tabellone
### Finali

| Quarti di finale | Quarti di finale | Quarti di finale | Quarti di finale | Quarti di finale | Semifinali | Semifinali | Semifinali | Semifinali | Semifinali | Finale | Finale | Finale | Finale | Finale |
| 1 | Caroline Wozniacki | 6 | 1 | 6 | | | | | | | | | | |
| 5 | Jelena Janković | 3 | 6 | 3 | 1 | Caroline Wozniacki | Caroline Wozniacki | 5 | 3 | | | | | |
| 3 | Viktoryja Azaranka | Viktoryja Azaranka | 6 | 0r | 7 | Marija Šarapova | Marija Šarapova | 7 | 6 | | | | | |
| 7 | Marija Šarapova | Marija Šarapova | 4 | 3 | | | | | | 7 | Marija Šarapova | Marija Šarapova | 6 | 6 |
| | Gréta Arn | Gréta Arn | 3 | 1 | | | | | | 6 | Samantha Stosur | Samantha Stosur | 2 | 4 |
| 4 | Li Na | Li Na | 6 | 6 | 4 | Li Na | Li Na | 6$^6$ | 0 | | | | | |
| 6 | Samantha Stosur | Samantha Stosur | 6 | 6 | 6 | Samantha Stosur | Samantha Stosur | 7 | 6 | | | | | |
| 2 | Francesca Schiavone | Francesca Schiavone | 2 | 4 | | | | | | | | | | |
# Interporto di Trento

L'interporto di Trento è un'infrastruttura atta a servire le esigenze degli operatori che lavorano nel settore dello stoccaggio e della movimentazione delle merci; si tratta di un nodo logistico per l'accesso ai mercati dell'Europa centro-settentrionale, essendo collocato lungo l'asse 1 Berlino-Palermo delle Reti transeuropee dei trasporti.
Collocato lungo l'asse del Brennero si offre come cancello di ingresso italiano e snodo di collegamento e distribuzione per le regioni italiane del nord-est.
La piattaforma si trova nella zona di Trento Nord dove confluiscono la Strada statale 47 della Valsugana, la circonvallazione provinciale di Lavis S.P. 235 e la circonvallazione di Trento. Il collegamento autostradale è assicurato dal casello "Trento Nord" sull'Autostrada A22 del Brennero, a circa 200 metri dall'entrata dell'interporto.
È dotato di un terminal ferroviario di circa 150.000 m² che effettua i servizi di trasporto intermodale:
* in modalità accompagnata (RO.LA.): l'intero automezzo viene caricato sul treno, mentre l'autista svolge il riposo previsto per legge in apposite carrozze.
* in modalità non accompagnata: container, casse mobili e semirimorchi vengono caricati sul treno.
* in modalità convenzionale: inerti, legname, materiali sfusi o su pallet vengono caricati sul treno.
Si sviluppa su un'area di 100 ettari su cui sono dislocati:
* magazzini e uffici per trasportatori, spedizionieri, corrieri e commercio all'ingrosso
* l'autoparco
* scalo intermodale dotato di 9 binari
* scalo ferroviario pubblico
* piazzale di movimentazione delle merci
* sezione doganale, Guardia di Finanza e servizi doganali
* centro Direzionale, centro congressi, hotel, bar, ristorante, banca.
# Insieme complemento

Nella teoria degli insiemi e in altri campi della matematica, il complemento di un insieme è l'insieme degli elementi che non appartengono a quell'insieme. Gli insiemi complemento si dividono nei complementi relativi (detti anche insieme differenza) e nei complementi assoluti.

## Complemento relativo

Avendo due insiemi $A$ e $B$, il complemento di $A$ rispetto a $B$ o l'insieme differenza $B$ meno $A$, è formato dai soli elementi di $B$ che non appartengono ad $A$. Esso si indica solitamente come $B\setminus A$ oppure come $B-A$. Formalmente abbiamo:
    $B\setminus A=B-A=\{x\in B\wedge x\notin A\}$
Si noti che l'insieme differenza $B-A$ è un sottoinsieme dell'insieme $B$.

### Esempi

* $\lbrace 1,2,3,4,5\rbrace -\lbrace 3\rbrace =\lbrace 1,2,4,5\rbrace$
* $\lbrace a,b,c,d\rbrace -\lbrace c,d,e,f\rbrace =\lbrace a,b\rbrace$
* $\lbrace 1,2,3\rbrace -\lbrace 2,3,4\rbrace =\lbrace 1\rbrace$
* $\lbrace 2,3,4\rbrace -\lbrace 1,2,3\rbrace =\lbrace 4\rbrace$

### Proposizioni

Se $A$, $B$ e $C$ sono insiemi, allora valgono le seguenti identità:
   * $C-\left(A\cap B\right)=\left(C-A\right)\cup \left(C-B\right)$
   * $C-\left(A\cup B\right)=\left(C-A\right)\cap \left(C-B\right)$
   * $C-(B-A)=(A\cap C)\cup (C-B)$
   * $(B-A)\cap C=(B\cap C)-A=B\cap (C-A)$
   * $(B-A)\cup C=(B\cup C)-(A-C)$
   * $A-A=\varnothing$
   * $\varnothing -A=\varnothing$
   * $A-\varnothing =A$

## Complemento assoluto

Il complemento assoluto è un caso particolare del complemento relativo.
Se è definito un insieme universo $U$, si definisce complemento assoluto di $A$ come il complemento relativo di $A$ rispetto ad $U$. Formalmente abbiamo:
    $A^{c}=\neg A=U-A=\{x\in U{\text{ e }}x\notin A\}$
Il complemento assoluto, indicato anche come $\sim A$, rappresenta anche il NOT nell'algebra Booleana.
A titolo di esempio, se l'insieme universale è l'insieme dei numeri naturali, allora il complemento dell'insieme dei numeri dispari è l'insieme dei numeri pari.
La prossima proposizione riporta alcune proprietà fondamentali del complemento assoluto in rapporto alle operazioni insiemistiche di unione e intersezione.
Se $A$ e $B$ sono sottoinsiemi di un insieme universo $U$, allora valgono le seguenti identità.
    Leggi di De Morgan:
      * $(A\cup B)^{c}=A^{c}\cap B^{c};$
      * $(A\cap B)^{c}=A^{c}\cup B^{c}.$
    Leggi di complementarità:
      * $A\cup A^{c}=U;$
      * $A\cap A^{c}=\varnothing ;$
      * $\varnothing ^{c}=U;$
      * $U^{c}=\varnothing ;$
      * Se $A\subseteq B$, allora $B^{c}\subseteq A^{c}$ (ciò segue dall'equivalenza di una proposizione condizionale con la proposizione contronominale).
    Involuzione o legge del doppio complemento:
      * $(A^{c})^{c}=A.$
    Relazioni tra complemento relativo e complemento assoluto:
      * $A-B=A\cap B^{c};$
      * $(A-B)^{c}=A^{c}\cup B.$
Le prime due leggi di complementarità mostrano che se $A$ è un sottoinsieme non vuoto di $U$, allora $\{A,A^{c}\}$ è una partizione di $U$.
# Insieme con l'Unione

Insieme con l'Unione è stata una lista elettorale che ha partecipato alle elezioni politiche del 2006, limitatamente alla competizione per il Senato della Repubblica, all'interno della coalizione dell'Unione.

## Storia

La lista era nata in seguito all'accordo stipulato tra la Federazione dei Verdi e il Partito dei Comunisti Italiani, che avevano intenzione di avviare un processo di confederazione unitaria della sinistra radicale, anche per ovviare allo sbarramento del 4% previsto dalla legge elettorale maggioritaria.
In seguito all'approvazione della nuova legge elettorale semiproporzionale, che ha abbassato gli sbarramenti (2% alla Camera, 3% al Senato) per i partiti coalizzati, l'esigenza si è affievolita e i due movimenti hanno deciso di presentare un semplice cartello elettorale, con esplicito riferimento alla coalizione dell'Unione di cui facevano parte, nella sola competizione del Senato. Alla lista ha poi aderito anche il piccolo movimento dei Consumatori Uniti.
La lista, comunque, ha ottenuto un risultato positivo, in alcune realtà anche superiore alle sommatorie dei due partiti aderenti. Ha raccolto il 4,2% dei consensi, eleggendo 11 senatori, di cui 6 in quota Verdi, e 5 in quota PdCI. Al Senato i due partiti hanno conseguentemente costituito un unico gruppo parlamentare, denominato "Insieme con l'Unione Verdi - Comunisti Italiani" presieduto dalla senatrice Manuela Palermi (Pdci); il vice era Natale Ripamonti (Verdi).
Al gruppo aderivano, tra gli altri, Armando Cossutta e Marco Pecoraro Scanio, fratello del segretario dei Verdi e ministro Alfonso.