USS is topological ;
hence FMT_Space_Str(# the carrier of USS,(Neighborhood USS) #) is FMT_TopSpace ; :: thesis: verum