Def/Maximum

 =Uniqueness= Maximum elements are unique, given that they exist.

=Existence= Maximum elements of finite subsets of totally ordered sets always exist.