theorem :: ROUGHS_3:9

for R being non empty RelStr
for A, B being Subset of R holds (LAp R) . (A /\ B) = ((LAp R) . A) /\ ((LAp R) . B)