for r being Real holds
( r in the carrier of I(01) iff ( 0 < r & r < 1 ) )