But I don't have much experience with strictly increasing functions between non-linear orders, so maybe that is the right definition for partial orders. However ...
確定! 回上一頁