 A related notion is a universal property, where an object is not only essentially unique, but unique "up to a unique isomorphism" (meaning that it has trivial automorphism group).In general there can be more than one isomorphism between examples of an essentially unique object.At the most basic level, there is an essentially unique set of any given cardinality, whether one labels the elements formula_1 or formula_2.