- A map of additional, user-defined restrictions that will be inherited and applied by any extending subtype. - is this useful for a client generator? - e.g. for all primitive types… - user-defined facets ?