またformula_93はformula_94すなわちformula_86の補集合とformula_87との和集合の内部である。