 reserve U for set,
         X, Y for Subset of U;
 reserve U for non empty set,
         A, B, C for non empty IntervalSet of U;

theorem Th45:
  for U being non empty set, A being non empty IntervalSet of U holds
    A^ = Inter ((A``2)`,(A``1)`) by Th41;
