Kiválogatás tétele: Ezzel az algoritmussal egy tetszőleges tömb (X) elemei közül T tulajdonságokat kiválogathatjuk egy másik (Y) tömbbe. Fenti okból az Y tömb számossága ugyan az, mint X tömbbé. Ennek az algoritmusnak van egy módosított változata, amelyben az Y tömb nem az X tömb T tulajdonságú elemeinek értékét, hanem azon elmeke sorszámát tartalmazza. Ebben az esetben az Y tömb nem az elemtip típusú elemeket tárol, hanem egész számokat, illetve Y(DB) = X(i) sort kell kicserélni Y(DB) = i sorra. (Ha pl. Az X tömbből ki akarjuk válogatni a 10-nél nagyobb értékűeket, akkor a T(X(i)) helyett X(i) > 10 feltételt kell írni.)

Lineáris keresés tétele: Nem tudjuk, hogy az X tömbnek van-e T tulajdonságú elem , de ha van, akkor a lenti algoritmus eredményül a megtalált elem sorszámát is megadja.