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

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

OperationesModificar

AppertinentiaModificar

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

IntersectionModificar

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

UnionModificar

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

Differentia de insimulesModificar

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 symmetricModificar

  • Un differentia symmetric   es le insimule, a que pertine omne elementos que se trova o in   o in  :  .

SubinsimulModificar

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 potentiaModificar

Vide etiamModificar