Second, assuming that R admits analytic cell decomposition, (B2) and [5, Proposition 10.4] imply that every T ∞ -limit over R is deﬁnable in N (R) ; in particular, T ∞ (R) and N (R) are interdeﬁnable.
Hausdorff limits of Rolle leaves
Hence, by [ 5, Corollary 1], T ∞ (R) and P (R) are interdeﬁnable.
Hausdorff limits of Rolle leaves
Two interdeﬁnable reducts are considered to be equivalent.
Reducts of the Generalized Random Bipartite Graph
We determine, up to the equivalence of ﬁrst-order interdeﬁnability, all structures which are ﬁrst-order deﬁnable in the random partial order.
Reducts of the random partial order
It is the goal of the present paper to obtain such a classiﬁcation up to ﬁrst-order interdeﬁnability, that is, we consider two reducts Γ, Γ′ equivalent iff they are reducts of one another.
Reducts of the random partial order
***