Type of property of a collection of mathematical objects which are uniquely determined by less information than one would expect