JSONオブジェクト・インスタンスがあると、そのプロパティ名の集合は有限集合として確定します。たとえば、{"foo":"hello", "bar":12} のプロパティ名の集合は {"foo", "bar"} です。しかしスキーマレベルでは、オブジェクト型のプロパティ名の集合は無限集…