Defn. of y >= x.