Subinsimul

De Wikipedia, le encyclopedia libere
(Redirigite ab Superinsimul)
es un subinsimul de , alora es un superinsimul de .

In mathematica e su branca theoria de insimules, un insimul es un subinsimul[1] del insimul , si omne elemento de alsi es un elemento de . Per altere parolas, un subinsimul es un parte del altere insimul. Le notation es . Omne insimul es un subinsimul de se mesme, e le insimul vacue es un subinsimul de omne insimules: pro omne insimul .

Un insimul es le superinsimul de omne su subinsimules ; le notation pro isto es .

Subinsimules proprie[modificar | modificar fonte]

Si le insimules differe, alora , illos se nomina proprie, alteremente improprie.

es un subinsimul proprie de . Le notation es .

Nota que le symbolo es usate ambivalentemente, illo pote significar (subinsimul improprie) o (insimul proprie).

Exemplos[modificar | modificar fonte]

  • Le insimul es un subinsimul de .
  • Le insimul del numeros natural es un subinsimul del insimul del numeros integre.

Referentias[modificar fonte]

  1. Derivation (in ordine alphabetic): (ca) Subconjunt || (de) Teilmenge || (en) Subset || (es) Subconjunto || (fr) Inclusion (mathématiques) || (it) Inclusione || (pt) Subconjunto || (ro) Submulțime || (ru) Подмножество