HasProperty
単調さ