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

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

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

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

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