:: deftheorem defines satisfying_RIF2* ROUGHIF1:def 13 :
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 f . (Y,Z) = 1 holds
f . (X,Y) <= f . (X,Z) );