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