From Wikipedia, the free encyclopedia
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: .
Appertinentia e inappertinentia es indicate assi: , ma . Lege: 7 in N, minus 7 non in N.
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.
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.
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 .
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.