Subinsimul

De Wikipedia, le encyclopedia libere
Saltar al navigation Saltar al recerca
es un subinsimul de , ita es un superinsimul de .

In mathematica e su branca theoria de insimules, un insimul es un subinsimul del insimul , si omne elemento de etiam 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, ita , on los nomine 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.