u_? might be non-atomic for all ?, so the equality (E) could hold for S = {x} only if I were identically +?, which is not permitted in the definition. However, the inequalities (U) and (L) do imply the equality (E) for so-called I-continuous' sets S ⊆ X, those for which

where and denote the interior and closure of S in X respectively.