BCK代數原子(atom of BCK-algebra )BCK代數中的非零極小元.設(X; } , 0>為一個BCK代數,若a是X的一個非零極小元,則稱a為X的原子.設A是X的原子集,若X=(A)(即X由A生成),則稱X是由原子生成的BCK代數.其生成集A恰好包含X的所有原子非零同態像和非零理想也都是由原子生成的.
BCK代數原子(atom of BCK-algebra )BCK代數中的非零極小元.設(X; } , 0>為一個BCK代數,若a是X的一個非零極小元,則稱a為X的原子.設A是X的原子集,...
與擬右交錯BCK代數等價,因此,稱之為擬交錯BCK代數.兩個擬交錯BCK代數同構的充分必要條件是其階相等.BCK代數的所有原子連同元“0”一起組成一個擬交錯的子代數....
BCK代數(BCK-algebra)一種有序代數系統.它是從邏輯蘊含規律中抽象出來的,帶有常元和一個二元運算.代數結構<X; * ,0>,若d .x,y,zEX,滿足: 則稱(X; * ...
正規BCK代數(normal BCJ-algebra)一類特殊的BCK代數.設X是BCK代數,A是X的非空子集.記 分別稱A;,與AX為A的左的與右的穩定子,且稱A' =A;,門AX為A的穩定...