for FT being non empty RelStr
for A being Subset of FT
for x being Element of FT st x in A holds
<*x*> is_minimum_path_in A,x,x