John #13: I was just going to comment in the Lecture 3 thread about how "the" meet and "the" join of a subset of a preordered set are only defined up to equivalence, but I thought I would check in this thread first to see if anyone else had caught t…
An example of posets from analysis. If a measure space \((X,\mu)\) is \(\sigma\)-finite, then its \(L^p\) spaces (the collection of measurable functions \(f\colon X\to\Bbb C\) such that \(\int_X|f|^p\,\rm{d}\mu