Jabarkan dan dengan demikian dari Rak dan ganjalan

Menggunakan ide ini, rak didefinisikan secara ekuivalen sebagai satu himpunan  dengan dua operasi biner  dan  sedemikian rupa maka untuk semua