| Producer | Consumer |
| do{ wait(p); wait(mutex); //Add item to buffer signal(mutex); signal(Q); }while (1); | do{ wait(R); wait(mutex); //Consume item from buffer signal (mutex); signal (); }while (1); |
0 can be assigned in N ways
1 can be assigned in N ways
There are functions, cross product of countable set in countable.
R : Set of functions from N to {0, 1}
Each of thus boxes can be assigned to 0 or 1 so each such function is a binary number with infinite number of bits.