superproperty

From super- +‎ property.

superproperty (plural superproperties)

1. (computing) A higher-level property in a hierarchy of properties.

   Coordinate term: subproperty

   • 2005, Lee W. Lacy, Owl: Representing Information Using the Web Ontology Language, Victoria, BC: Trafford Publishing, →ISBN, page 120:

     Just as a classes can be specialized with subclass relationships, properties can be specialized with subproperties. The “rdfs:subPropertyOf” property is used to specify a specialization relationship between properties. The described property is a subproperty of the indicated superproperty.

2. (functional analysis) A property of an infinite dimensional Banach space ${\displaystyle E}$ such that for any infinite dimensional Banach space ${\displaystyle F}$, ${\displaystyle F\hookrightarrow E}$, has that same property.
   • 1999, Seán Dineen, “Polynomials”, in Complex Analysis on Infinite Dimensional Spaces (Springer Monographs in Mathematics), London: Springer, →ISBN, page 56:

     For our second principle we need the concept of superproperty. If (P) is a property of infinite dimensional Banach spaces, e.g. reflexivity, cotype, etc. we say that the infinite dimensional Banach space E has super (P) if any infinite dimensional Banach space F, ${\displaystyle F\hookrightarrow E}$, has property (P). If (P) = super (P), i.e. if a Banach space has super (P) if and only if it has (P) we call (P) a superproperty.