theorem :: ROUGHS_2:10

for R being non empty void RelStr
for X being Subset of R holds LAp X = [#] R