:: deftheorem defines satisfying_RIF2 ROUGHIF1:def 8 :
for R being non empty RelStr
for f being preRIF of R holds
( f is satisfying_RIF2 iff for X, Y, Z being Subset of R st Y c= Z holds
f . (X,Y) <= f . (X,Z) );