HasProperty
数学