กำหนดให้การดำเนินการทวิภาค · และ + บนเซต S และ x, y, z เป็นสมาชิกใดๆ ของเซต S

• การดำเนินการ · จะเป็นการดำเนินการ แจกแจงข้างซ้าย บนการดำเนินการ + ถ้า x ⋅ ( y + z ) = ( x ⋅ y ) + ( x ⋅ z ) {\displaystyle x\cdot (y+z)=(x\cdot y)+(x\cdot z)\,}
• การดำเนินการ · จะเป็นการดำเนินการ แจกแจงข้างขวา บนการดำเนินการ + ถ้า ( y + z ) ⋅ x = ( y ⋅ x ) + ( z ⋅ x ) {\displaystyle (y+z)\cdot x=(y\cdot x)+(z\cdot x)\,}
• การดำเนินการ · จะเป็นการดำเนินการ แจกแจง (distributive) บนการดำเนินการ + ถ้าสามารถแจกแจงได้ทั้งข้างซ้ายและข้างขวา [1]

การดำเนินการ · และ + มิได้หมายความว่าจะต้องเป็นแค่การคูณกับการบวกเท่านั้น แต่หมายถึงการดำเนินการใดๆ ที่ตรงตามเงื่อนไขข้างต้น โปรดสังเกตว่าเมื่อการดำเนินการ · มีสมบัติการสลับที่ ดังนั้นเงื่อนไขทั้งสามข้างต้นจะเทียบเท่ากันโดยตรรกะ