Subinsimul
Apparentia
![](http://upload.wikimedia.org/wikipedia/commons/thumb/d/d6/Venn_A_subset_B.png/220px-Venn_A_subset_B.png)
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.