Subinsimul
Il ha modificationes in patronos o files in iste version que attende revision.
Le version stabile ha essite verificate le 14 augusto 2022.

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.