加载中…
The block count of an equivalence Equ is the number blnum of blocks of (the partition corresponding to) . We say that is a four-element generating set of Equ with consecutive block counts if generates Equ and blnum = blnum for . We prove that if the number of elements of a finite set is six or at least eight, then Equ has a four-element generating set with consecutive block counts. Also, we present a historical remark on the connection between equivalence lattices and quasiorder lattices.

生成讲解博客的中文版本

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