Property, law, or rule that describes the specific features of a particular math object or that which makes it possible to verify if this object does or does not have this specific feature.