Another shadok device:
the unicursive stairs
strainer is any implement for which we can define the three following
sub-sets: the interior, the exterior, and the
The interior is generally located above
the exterior and is usually made of noodles and water.
Holes are unimportant. Indeed, a straightforward experimentation
shows that reducing by half the number of holes does not have a
sensible effect on the behaviour of the implement; and nor does
it have reducing this number by half once more, and so forth until
no hole remains.
Thus the Theorem follows: the notion of a strainer is
independent of the one of a hole, and conversely.
We call First Order Strainer a strainer which
neither drains out noodles nor water.
We call Second Order Strainer a strainer which
drains out both water and noodles.
We call Third Order Strainer, or complex strainer,
a strainer which sometimes does drain either, and sometimes does
In order for a complex strainer to drain water out and
not the noodles, it is necessary and sufficient that the holes diameter
be sensibly smaller than the one of the noodles.
In order for a complex strainer to drain noodles out
and not water, it is necessary and sufficient that the holes diameter
be sensibly smaller than the one of water.