universality of separation, modulo coequalizer and density into cloture (see LEX)
Merge pull request #1 from KevinQuirin/delta_sigma

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