defined a class of algebras of type

defined a class of algebras of type (2,0) called BCK-algebra which
generalizes on one hand the notion of algebra of sets with the set subtraction
as the only fundamental non-nullary operation.

ผลลัพธ์ (ไทย) 1:

กำหนดระดับของฉากชนิด (2, 0) เรียกว่าพีชคณิต BCK ซึ่งgeneralizes หนึ่งความคิดของพีชคณิตของชุดมีการลบการตั้งค่าเป็นการดำเนินการ-nullary พื้นฐานเท่านั้น

ผลลัพธ์ (ไทย) 2:

กำหนดระดับของ algebras ชนิด (2,0) เรียกว่า BCK พีชคณิตที่
generalizes บนมือข้างหนึ่งความคิดของพีชคณิตชุดกับชุดลบ
เป็นเพียงการดำเนินการที่ไม่ nullary พื้นฐาน