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 modificar
Appertinentia modificar
Appertinentia e inappertinentia es indicate assi: , ma . Lege: 7 in N, minus 7 non in N.
Intersection modificar
Un intersection es le insimule, a que pertine omne elementos que se trova e in e in : . Lege: A intersecate con B.
Union modificar
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
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
- Un differentia symmetric es le insimule, a que pertine omne elementos que se trova o in o in : .
Subinsimul modificar
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 .