Let be a representation system of the non-isomorphic finite posets, and let be the set of order homomorphisms from to . For finite posets and , we write iff, for every , a one-to-one mapping $\rho_P : {\cal H}(P,R) \rightarrow {\cal H}(P,S)$ exists which fulfills a certain regularity condition. It is shown that is equivalent to $# {\cal S}(P,R) \leq # {\cal S}(P,S)P{\cal S}(P,Q)PQ$. In consequence, holds for every finite posets iff and are isomorphic. A sufficient condition is derived for which needs the inspection of a finite number of posets only. Additionally, a method is developed which facilitates for posets (direct sum) the construction of posets with , where is a convex subposet of .

生成讲解博客的中文版本

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