Theoria de insimules
![](http://178.128.105.246/content-http-upload.wikimedia.org/wikipedia/commons/thumb/9/99/Venn0001.svg/220px-Venn0001.svg.png)
![](http://178.128.105.246/content-http-upload.wikimedia.org/wikipedia/commons/thumb/3/30/Venn0111.svg/220px-Venn0111.svg.png)
![](http://178.128.105.246/content-http-upload.wikimedia.org/wikipedia/commons/thumb/e/e6/Venn0100.svg/220px-Venn0100.svg.png)
![](http://178.128.105.246/content-http-upload.wikimedia.org/wikipedia/commons/thumb/4/46/Venn0110.svg/220px-Venn0110.svg.png)
Le theoria de insimules es un disciplina del logica occupante se de insimules como objectos del mathematica. Como le creator de iste theoria vale le mathematico german Georg Cantor (1845 - 1918).
Insimules qualcunque es indicate per majusculas , , , etc., insimules special es per exemplo pro le insimul vacue e le insimules , e . Pro insimules, il ha parenthese crispe: .
Operationes
[modificar | modificar fonte]Appertinentia
[modificar | modificar fonte]Appertinentia e inappertinentia es indicate assi: , ma . Lege: 7 in N, minus 7 non in N.
Intersection
[modificar | modificar fonte]Un intersection es le insimule, a que pertine omne elementos que se trova e in e in : . Lege: A intersecate con B.
Union
[modificar | modificar fonte]Un union es le insimule, a que pertine omne elementos que se trova in o in : . Lege: A unite con B.
Differentia de insimules
[modificar | modificar fonte]Le differentia es le insimule, a que pertine omne elementos que se trova in , ma non in : . Lege: A minus B o A sin B.
Differentia symmetric
[modificar | modificar fonte]- Un differentia symmetric es le insimule, a que pertine omne elementos que se trova o in o in : .
Subinsimul
[modificar | modificar fonte]Si omne elemento de etiam es un elemento de , tunc es un subinsimul de : .
Si es un subinsimul de , tunc es un superinsimul de : .
Si le insimules differe, ita , on les nomine proprie, si non improprie, tunc es un subinsimul proprie de : .
Nota que le symbolo es usate ambivalentemente, illo pote significar o .