Jabarkan Rak dari Rak dan ganjalan

Rak dapat didefinisikan sebagai satu himpunan  dengan operasi biner  sedemikian rupa untuk setiap  sebagai hukum distribusi sendiri, yaitu:

dan untuk setiap  adalah  yaitu

Definisi ini, meskipun singkat dan umum digunakan, adalah suboptimal untuk tujuan tertentu karena pembilang eksistensial yang sebenarnya tidak diperlukan. Untuk menghindari hal ini, kita dapat menulis  yaitu  sebagai   Kita memiliki