نسمي جبر-BCK تبادلياً محدوداً كل مجموعة مزودة بعنصرين متميزين يرمز لهما ب ، و بعملية
ثنائية يرمز لها * بحيث تتحقق مجموعة من الخواص.
ليكن A جبر-BCK ضمنياً تبادلي محدود و يحقق الخاصة الإضـافية ، في الورقة العلمية بينا أن مجموعة المثاليات الأولية ل A
الطيف الأولي لA يشكل فضاء بولياً. في هذه الورقة العلمية سوف نورد سمات إضافية لهذا الفضاء، سنبرهن أن الطيـف الأولي فضاء متراص عداً، منتظم، و أنه يتمتع بقابلية العد الأولى.
