theorem Th13: :: ROUGHS_2:13

for R being non empty RelStr
for X, Y being Subset of R holds UAp (X \/ Y) = (UAp X) \/ (UAp Y)