Es decir, la clase de todas las interpretaciones  en las que "R" es reflexiva (todo mundo "w" en "W" es accesible desde sí mismo: "wRw").