性質で定義