On decompositions of continuity via idealization (Q1872909)

An ideal topological space is a triple \((X,\tau,I)\), where \(\tau\) is a topology and \(I\) is an ideal on \(X\). If \(A\) is a subset of \(X\), then \(A^*\) denotes the set \(\{x\in X:U\cap A\notin I \text{ for each neighborhood }U\) of \(x\)