for R being Relation
for S being INT -valued Relation st R c= S holds
R is INT -valued ;