Coba jelasin dan dengan demikian dari Rak dan ganjalan dong

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