Merry Christmas! Just a small question: is this bit from the lecture still true? -

>Actually Fong and Spivak use the opposite convention, writing \\(x \le y\\) to mean you can get \\(y\\) if you have \\(x\\)...

I see the following in Fong & Spivak (Oct 12 version, p.119) -

>The order \\(x \le y\\) represents the _availability of_ \\(x\\) _given_ \\(y\\), i.e. that whenever you have \\(y\\), you also have \\(x\\).

>Actually Fong and Spivak use the opposite convention, writing \\(x \le y\\) to mean you can get \\(y\\) if you have \\(x\\)...

I see the following in Fong & Spivak (Oct 12 version, p.119) -

>The order \\(x \le y\\) represents the _availability of_ \\(x\\) _given_ \\(y\\), i.e. that whenever you have \\(y\\), you also have \\(x\\).