Poaibis

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

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

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