Subinsimul
In mathematica e su branca theoria de insimules, un insimul  es un subinsimul 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 
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 
 Le insimul  es un subinsimul de .
 Le insimul  del numeros natural es un subinsimul del insimul  del numeros integre.

 

Mathematica