for T being non empty RelStr
for p being Element of T
for k being Nat st T is filled holds
U_FT (p,0) c= U_FT (p,k)