различимый квазипорядок

Мат. distinguishing quasiorder