Aibė: Skirtumas tarp puslapio versijų

Jei kiekvienas aibės ''A'' elementas yra ir aibės ''B'' elementas, aibė ''A'' yra aibės ''B'' '''poaibis''' ir tai žymima <math>A \subseteq B</math>.

Jei dar tenkinama sąlyga, kad aibė ''A'' nelygi ''B (''tačiau, kai kurie aibės A elementa sutampa su aibės B nariais), tai '''griežtasis poaibis''' ir žymima <math>A \subset B</math>. Šiuo atveju ''B'' yra aibės ''A'' '''viršaibis'''.

:*<math>\emptyset \subseteqsubset A</math>