theorem UApAdditive: :: ROUGHS_3:8

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