theorem Th26: :: FINTOPO2:26

for FMT being non empty FMT_Space_Str
for A, B being Subset of FMT holds (A ^Fob) \/ (B ^Fob) c= (A \/ B) ^Fob