集合論の問題か。1/2であるこも本質ではないし、
{0,1}も別に本質ではない。