I had to solve a question in Logics, disprove the fact that "if two statements without free variables are satisfiable in the same finite structures, then they are logically equivalent".
The only property found that doesn't translate from finite fields to infinite structures(that I could prove) was the over finite structures, a function is one-to one (Injective) iff it is onto (surjective) but this isn't true over infinite structures, and those statements were easy to write.
My first thought was to use the property that over finite structures every relation has a maximum member that satisfies it - but I couldn't write specific statement that catches that. (Remark - as always, I am free to define whichever dictionary I want) - Is it impossible to state in general, because I can't control how a binary relation R that I might use will be interpreted in some structure, and it won't be the $\le$ relation, or even if the domain of that structure will be numbers, so "maximum" may not even be well defined over most structures?
Also - are there other properties that I could have used that are general enough to work over every structure and are correct over finite structures and don't carry to infinite structures?