This felt more intuitive to me (and it’s a minor result that injective function->special preorder) and closer to what humans actually seem to have in their minds.
That said, since it’s equivalent, there is nothing wrong with starting from either approach.
This felt more intuitive to me (and it’s a minor result that injective function->special preorder) and closer to what humans actually seem to have in their minds.
That said, since it’s equivalent, there is nothing wrong with starting from either approach.