El sistema S5 respecto a las interpretaciones en que "R" es reflexiva y euclídea.