propertysuch

Propertysuch is a term used in logic and computer science to denote a class of properties defined by a constraint that an object must satisfy in order to possess that property. The term is formed by combining "property" with "such that," echoing the logical idiom for defining properties through predicates.

The coinage appears in discussions of expressive power in specification languages and constraint systems. It is not a standard term in formal ontologies, and in practice authors use it informally to discuss how a property can be defined by a governing condition rather than by a static label alone. It serves as a convenient shorthand when contrasting simple labels with properties defined by predicates.

In formal settings, propertysuch can be represented as a constraint or predicate that binds an object to a property through a condition. It appears across formal methods contexts such as Z notation, Object Constraint Language (OCL), SPARQL, and design-by-contract discussions as a way to express that an object has a property only if a given predicate holds.

Examples illustrate its use. propertysuch(x, "adult", age(x) >= 18) asserts that x has the "adult" property exactly when its age is at least 18. Another example: propertysuch(car, "electric", power_source(car) = "electric") defines an electric property via a constraint on the power source.

See also: property, predicate, constraint, such that, descriptor. Note that propertysuch is not widely standardized and is used mainly as an informal or theoretical device in discussions of property definitions via governing conditions.