Subinsimul
From Wikipedia, the free encyclopedia
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 .