for P being Subset of I[01] st P = the carrier of I[01] \ {0,1} holds
P is open