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