A tömörítés elvileg olyan függvény, ami megadott bytesorozatot egy másikká transzformál, hogy visszaalakítható legyen. Nyilván az a jó tömörítés, ahol az eredmény mérete minél kisebb az általánosan használt bemenettípusoknál. A "legszarabb" tömörítés tehát az, ami végtelen hosszú bytesorozatot generál, amelyből visszaállítható az eredeti adat, de semmilyen véges nagyságú részhalmazából nem. Az viszont kérdéses, hogy létezik-e ilyen függvény. Majd gondolkozom rajta, jobb dolgom úgysincs :)