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
Wikipedia language

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
Text from Wikipedia, CC BY-SA 4.0 · Source article