Definition 2.1. Let X be a non-empty set which contains an element 0 ∈ X and let ∗ be a binary operation on the elements of X. Then the system (X,∗,0) is a KKM-algebra if the following 4 axioms are satisfied for all x, y, z ∈ X,
นิยาม 2.1 ให้ X เป็นไม่ว่างชุด ที่ประกอบด้วยการองค์ประกอบ 0 ∈ X ∗ให้มีการดำเนินการกับองค์ประกอบของ X ได้ แล้ว ระบบ (X ∗ 0) เป็น KKM-พีชคณิตถ้าสัจพจน์ 4 ต่อไปนี้จะพอใจสำหรับทุก x, y, z ∈ X
ความละเอียด 2.1 . ให้ x เป็นไม่ใช่เซตว่างซึ่งประกอบด้วยองค์ประกอบ 3 ∈ X และให้∗เป็นปฏิบัติการแบบไบนารีในองค์ประกอบของเอ็กซ์ จากนั้นระบบ ( x , ∗ , 0 ) เป็น kkm พีชคณิตถ้าต่อไปนี้ 4 สัจพจน์พอใจสำหรับ x , y , z ∈ X