Poaibis

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  ir , tai 

 Šaltiniai 

Kategorija:Aibių teorija