\overline{AB} \subseteq \sigma \setminus \{T\}