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