Categoricity
Definition: A theory T is categorical in the cardinal κ (or is κ-categorical) if any two models of T of cardinality κ are isomorphic.
 
Usually, when we say that T is κ-categorical, we implicitly assert that T has at least one model of size κ.