Higman/Higman: replacing the relation R with the function _≪_.