We show that the 42-element monoid of all partial order preserving and extensive injections on the 4-element chain is not contained in any variety generated by a finitely based finite semigroup.
生成讲解博客的中文版本
生成AI智能校验的中文版本