reserve T for non empty TopSpace,
  A, B for Subset of T,
  F, G for Subset-Family of T;

theorem
  for F, G being set st F <> {} & G <> {} holds meet UNION(F,G) = meet F
  \/ meet G
by Th32,SETFAM_1:29;
