プロパティの「サブセッティング({subsets})」とはどういう意味か。

`{subsets propA}` は、このプロパティ(propB)に含まれるすべての要素が、propAにも含まれていなければならないという制約を定義する。