:: deftheorem defines satisfying_RIF3 ROUGHIF1:def 9 :
for R being non empty RelStr
for f being preRIF of R holds
( f is satisfying_RIF3 iff for X being Subset of R st X <> {} holds
f . (X,({} R)) = 0 );