Jabarkan zip3 "ia" "tuk" "palu" dari Zip (ilmu komputer)

Misalkan Σ adalah alfabet dan  adalah simbol di luar Σ.

Misalkan  adalah  kata (barisan berhingga) yang tersusun dari anggota Σ. Misalkan pula  adalah panjang maksimum kata, yaitu maksimum dari

Hasil operasi zip dari kata-kata tersebut adalah barisan berhingga dari rangkap- yang disusun dari anggota , dengan kata lain anggota dari :

dengan  adalah  untuk  dan  adalah tiap kata.

Operasi zip terhadap  disimbolkan sebagai  atau . Inversi operasi zip disimbolkan sebagai .

Variasi operasi zip yang hanya mengembalikan dengan panjang minimum kata bisa didefinisikan sebagai berikut:

dengan  adalah panjang minimum dari kata-kata yang diberikan. Variasi ini menghindari anggota tambahan , tetapi menghapus informasi tentang barisan masukan setelah ke-.