universality of separation, modulo coequalizer and density into cloture ...

...(see LEX)