>>890
[0,1]を「0〜1,x〜x(任意のx)」という同値関係で割ってるだけだよ