January 28, 2025

A short classroom exercise on partially ordered sets