Poaibis

Poaibis – aibės objektas, nusakomas taip: jei visi aibės Χ elementai yra ir aibės Υ elementai, tai Χ laikomas aibės Υ poaibiu.

Veno diagrama rodanti, kad
A yra aibės B poaibis (žymima ${\displaystyle A\subseteq B}$).

Poaibiai pasižymi tranzityvumu: jeigu ${\displaystyle A\subseteq B}$ ir ${\displaystyle B\subseteq C}$, tai ${\displaystyle A\subseteq C}$

Šaltiniai

1. poaibis. Visuotinė lietuvių enciklopedija (tikrinta 2024-09-12).