for A being Subset of I[01]
for a, b being Real st a <= b & A = [.a,b.] holds
( 0 <= a & b <= 1 )