Real interval

The real interval 𝕀 is the subset defined by #m/def/anal

𝕀:=[0,1]={𝑥::0𝑥1}.

usually regarded as a topological space under the subspace topology.


#state/develop | #lang/en | #SemBr