theorem UApEmpty: :: ROUGHS_3:10

for R being non empty RelStr holds (UAp R) . {} = {}