theorem :: ROUGHS_5:20

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