:: deftheorem defines LAp ROUGHS_1:def 4 :
for A being non empty RelStr
for X being Subset of A holds LAp X = { x where x is Element of A : Class ( the InternalRel of A,x) c= X } ;