# How does one show uniqueness of structures?

How does one show uniqueness of structures? If I have two structures that have certain properties, is there a general method for showing that they must be the same? Is this up to concept usually thought of as "with respect to isomorphism"?

-
Of course, up to isomorphism. You need to build an isomorphism between two such structures. – Berci Jan 27 '13 at 0:16

You can restrict things a bit if you insist on fixing the underlying set, and if you insist that some additional (external) conditions be satisfied. For example $\{0,1\}$ is the smallest field of two elements whose elements are the least natural numbers. It's not an insightful example, but it's one nonetheless.
But your notion is close enough, if two structures are isomorphic then they are essentially the same. Be careful, though, to make sure that this depends greatly on the language and its interpretation. In the language of ordered sets clearly $\mathbb Q$ and $\mathbb Z$ (with their usual orders) are not isomorphic, but if we interpret the orders as empty instead then these are just two countable sets and they are isomorphic again.