Por otra parte, como C es un subconjunto de [0, 1], C además ha de tener una cardinalidad no mayor.