theorem Th8: :: FINTOPO5:8

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)