b315b8d0a75064d7.tex
1: \begin{definition} \label{def:generic}
2: Given a finite distributive lattice $\Lambda$, the {\em generic $\Lambda$-ultrametric space} $\Gamma$ is the \fraisse limit of all finite $\Lambda$-ultrametric spaces.
3: 
4: Suppose $\Gamma^*$ is $\Gamma$ equipped with some subquotient orders. We will say those subquotient orders are \textit{generic} if $\Gamma^*$ may be constructed as a \fraisse limit of a class $\AA^*$ as from Theorem \ref{theorem:amalg}.
5: \end{definition}
6: