reserve FT for non empty RelStr;
reserve A for Subset of FT;
reserve T for non empty TopStruct;
reserve FMT for non empty FMT_Space_Str;
reserve x, y for Element of FMT;
reserve A, B, W, V for Subset of FMT;

theorem Th26:
  ((A^Fob) \/ (B^Fob)) c= (A \/ B)^Fob
proof
  let x be object;
  assume x in ((A^Fob) \/ (B^Fob));
  then
A1: x in (A^Fob) or x in (B^Fob) by XBOOLE_0:def 3;
  (A^Fob) c= (A \/ B)^Fob & (B^Fob) c= (B \/ A)^Fob by Th24,XBOOLE_1:7;
  hence thesis by A1;
end;
