ช่วยหน่อยค่ะ วิชา abstract algebra

A BCI-algebra is an algebra (X,*,0) of type (2,0) where X is a nonempty set, * is a binary operation and 0 is a constant,satisfying the following axiom: for all x,y,z
1. ((x*y)*(x*z))*(z*y) = 0
2.(x*(x*y))*y = 0
3. x*x = 0
4.x*y = 0 and y*x = 0 imply x=y
ที่อยากรู้คือ type (2,0) หมายถึงอะไร
และค่าคงที่ในทาง abstract หมายถึงอะไร
แก้ไขข้อความเมื่อ
แสดงความคิดเห็น
โปรดศึกษาและยอมรับนโยบายข้อมูลส่วนบุคคลก่อนเริ่มใช้งาน อ่านเพิ่มเติมได้ที่นี่