:: deftheorem defines satisfying_RIF4 ROUGHIF1:def 10 :
for R being non empty RelStr
for f being preRIF of R holds
( f is satisfying_RIF4 iff for X, Y being Subset of R st f . (X,Y) = 0 holds
X misses Y );