Mapping from Toset is Order Embedding iff Strictly Increasing/Reverse Implication