Theoria de insimules
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

Appertinentia
Appertinentia e inappertinentia es indicate assi: , ma .
Lege: 7 in N, minus 7 non in N.

Intersection
Un intersection  es le insimule, a que pertine omne elementos que se trova e in  e in : .
Lege: A intersecate con B.

Union
Un union  es le insimule, a que pertine omne elementos que se trova in  o in : .
Lege: A unite con B.

Differentia de insimules
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
 Un differentia symmetric  es le insimule, a que pertine omne elementos que se trova o in  o in : .

Subinsimul
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 .

Insimul de potentia
 Insimul potentia

Vide etiam 
 Par ordinate
 Producto cartesian

Theoria de insimules