According to [1]} the strong limits exist and yield bounded operators. Since \(0\le G(M_{ij})\le I\)  also \(0\le \hat{G}(\Delta )\le I\)  holds. If \(G(M_{ij})\)  are projections then \(\hat{G}(\Delta )\)  is a projection by [1]}.
