A short classroom exercise on partially ordered sets