A partir de la relación de precedencia de S se tiene una relación de preferencia en S/~.