theorem :: FINTOPO6:21

for FT being non empty RelStr
for A being Subset of FT holds A ^deltai misses A ^deltao