加载中…
Many finite symmetric integral non-representable relation algebras, including almost all Monk algebras, can be embedded in the completion of an atomic symmetric integral representable relation algebra whose finitely-generated subalgebras are finite.

生成讲解博客的中文版本

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