theorem UApF0: :: ROUGHS_5:13

for R being non empty RelStr holds f_0 R = UAp R