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

Intersection de e
Union de e
Differentia de insimules: minus
Differentia symmetric de e

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.

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  .

Insimul de potentia

modificar

Vide etiam

modificar