Coba jelasin Definisi dari Sifat distributif dong

Diberikan sebuah himpunan  dan dua operator biner  dan  pada . Jika diberikan setiap anggota , , dan  dari , maka operasi  disebut distributif di kiri terhadap operasi , yang ditulis sebagai

Operasi  disebut distributif di kanan terhadap operasi , jika diberikan setiap anggota , , dan  dari , yang ditulis sebagai

Operasi  disebut distributif terhadap operasi , jika  distributif di kiri maupun di kanan. Perhatikan bahwa ketika  bersifat komutatif, maka secara logika, ketiga syarat di atas ekuivalen.