x\geq y