for R being Relation holds R c= R [*]