theorem :: ROUGHS_5:21

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