:: deftheorem defines rough ROUGHS_1:def 7 :
for A being non empty RelStr
for X being Subset of A holds
( X is rough iff BndAp X <> {} );