Veldismengi
Úr Wikipediu, frjálsa alfræðiritinu
Veldismengi er mengi, sem venslað er öðru mengi A þannig að stök þess eru öll hlutmengi mengisins A, táknað
. Setjum að mengi A sé endnalegt með n stök, en þá er fjöldi staka í veldismenginu
= 2n. Dæmi: mengi A hefur 3 stök, þ.e. A = {a,b,c} og veldismengið hefur því 8 stök, þ.e.: { } (tómamengið), {a}, {b}, {c}, {a,b}, {a,c}, {b,c} og {a,b,c} (mengið sjálft).
Fjöldatala veldismengis tiltekins mengis, er alltaf stærri en fjöldatala þess mengis.

