HasProperty
数理