Showing structure for CNC(S)=S