quasiorder

not defined yet