プロパティの包含関係