关系结构理想的表示

签名$\mu$的关系结构$\mathfrak A$的\textit{年龄}是其有限诱导子结构的集合$age(\mathfrak A)$，视为同构类。这是由签名$\mu$的有限结构按可嵌入性排序所成的偏序集$\Omega_\mu$中的一个理想。若结构由无穷多个关系构成，且其中无穷多个至少为二元，则存在不源于年龄的理想。我们给出许多例子。特别考察度量空间并提出若干问题。我们还给出一个由单一三元关系符号构成的至多可数结构同构类型理想$I$的例子。该理想不源于由集合理想$\mathfrak I$的成员上诱导的$\mathfrak A$的子结构同构类型集$\age_{\mathfrak I}(\mathfrak A)$。这回答了R. Cusin与J.F. Pabion（1970）的一个问题。