สมบัติการเปลี่ยนหมู่ ( ( a ↔ b ) ↔ c ) ↔ ( a ↔ ( b ↔ c ) ) {\displaystyle ((a\leftrightarrow b)\leftrightarrow c)\leftrightarrow (a\leftrightarrow (b\leftrightarrow c))}
สมบัติการสลับที่ ( a ↔ b ) ↔ ( b ↔ a ) {\displaystyle (a\leftrightarrow b)\leftrightarrow (b\leftrightarrow a)}
สมบัติสะท้อน a ↔ a {\displaystyle a\leftrightarrow a}
