:: deftheorem defines BndAp ROUGHS_1:def 6 :
for A being non empty RelStr
for X being Subset of A holds BndAp X = (UAp X) \ (LAp X);