theorem :: FINTOPO6:20

for FT being non empty RelStr
for A being Subset of FT st FT is filled & FT is symmetric & FT is connected & A <> {} & A ` <> {} holds
A ^deltao <> {}