3 ms·

Okay, yes, I see. But then it seems that O doesn't obey some very natural standard schools, and then what is it good for? O is a total order, but functions are

Okay, yes, I see. But then it seems that O doesn't obey some very natural standard schools, and then what is it good for? O is a total order, but functions aren't in any way a total order, so what's the point?

btilly 1y ago
And now you see what I don't like about it!