Aperir le menu principal
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 proprieModificar

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

ExemplosModificar

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