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