Theoria de insimules

De Wikipedia, le encyclopedia libere
Saltar al navigation Saltar al recerca
Intersection de e
Union de e
Differentia de insimules: minus
Differentia symmetric de e

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 .

Insimul de potentia[modificar | modificar fonte]

Vide etiam[modificar | modificar fonte]