<div dir="ltr"><div class="gmail_extra">Oh, I think his definition 1 is quite similar to what we call &quot;definable quotient structures&quot;. When we wrote it, his work has not been published yet so we didn&#39;t relate it with our work..... I think it would be interesting to compare our definitions. Thank you!</div>

</div>