-categorical
Let be a first order language and let be a set of -sentences. If is a cardinal, then is said to be if has a model of cardinality and any two such models are isomorphic
.
In other words, is categorical iff it has a unique model of cardinality , to within isomorphism.