theorem Th34: :: JORDAN6:34

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