Thanks Jonathan! I was kind of worried about including that relation. It grew into quite a large detour, and I didn't want the amount of text to discourage anyone from continuing to the last post, which is my favorite of the series.

I did want to see how uniformly I could treat the monotonicity and adjunction conditions, so I included it anyway. It may not be that practical, but I'm glad to know someone besides me found it interesting.