加载中…
We say that an idempotent term is an exact--majority term if evaluates to , whenever the element occurs exactly times in the arguments of , and all the other arguments are equal. If and some variety has an -ary exact--majority term, then is congruence modular. For certain values of and , for example, and , the existence of an -ary exact--majority term neither implies congruence distributivity, nor congruence permutability.

生成讲解博客的中文版本

生成AI智能校验的中文版本