187058
The two assumptions that f cover all the elements of T and that it preserve orderings , are enough to ensure that f is also one-to-one , for if f ( x ) = f ( y ) then ( by the assumption that f preserves the order ) it would follow that x \ le y and y \ le x , implying by the definition of a partial order that x = y. Yet another characterization of order isomorphisms is that they are exactly the monotone bijection s that have a monotone inverse .
 None
Given options, please tell me the categories of all the listed entity words.Output format is "type1: word1; type2: word2". 
Option: location, person, organization 
Text: {0} 
 Entities:  
Answer:
 None