Let be a subgroup of the symmetric group of all permutations of a countable set . Let be the topological closure of in the function topology on . We initiate the study of the poset $\overline{}[U]:={f[U]\mid f\in \overline{}}\overline{}$, being ordered under inclusion. This set of subsets of the set will be called the \emph{poset of copies for} the group . A denomination being justified by the fact that for every subgroup of the symmetric group there exists a homogeneous relational structure on such that is the set of embeddings of the homogeneous structure into itself and is the set of copies of in and that the set of bijections of to forms the group of automorphisms of .

生成讲解博客的中文版本

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