theorem Th1: :: FINTOPO6:2

for FT being non empty RelStr holds ({} FT) ^b = {}