for FT being non empty RelStr
for X being non empty SubSpace of FT st FT is filled holds
X is filled