💡 Words with a Similar Meaning to "Hyperproperty"
Found via reverse dictionary — words that share a conceptual meaning.
| Word | Definition |
|---|---|
| metapropertynoun | (computing, philosophy) A property of a property. |
| generic propertynoun | Used other than figuratively or idiomatically: see generic, property. |
| hyperfunctionnoun | (medicine) Abnormally elevated function. |
| superpropertynoun | (computing) A higher-level property in a hierarchy of properties. |
| hyperhomologynoun | (mathematics) A generalization of homology of an object to complexes. |
| hyperstructurenoun | (architecture) A very densely populated habitat, as in arcology. |
| generalisationnoun | The formulation of general concepts from specific instances by abstracting common properties. |
| predicate logicnoun | (logic) First-order logic. |
| hyperclassnoun | (mathematics) A superset of classes |
| hyperdegreenoun | (mathematics) The property of a number shared with another number with which it is hyperarithmetical. |
| generalizationnoun | An act or instance of generalizing; concluding that something true of a subclass is true of the entire class. |
| hypergroupoidnoun | (mathematics) A hyperstructure with a hyperoperation. |
| pluperfectionnoun | The quality or state of being more than perfect or complete. |
| hyperdeterminantnoun | (mathematics) A generalisation of a determinant in a higher dimension. |
| abstract universalnoun | A universal proposition in logic. |
| hyperbolic spacenoun | (mathematics) Any space exhibiting hyperbolic geometry rather than Euclidean geometry |
| spacenoun | (heading) Unlimited or generalized extent, physical or otherwise. |
| hyperoperatornoun | (mathematics) A mapping from operators to operators. |
| positive logicnoun | (logic) A logical system or fragment thereof not containing a negation operator. |
| universal propertynoun | (mathematics) The property of there being a unique morphism from an arbitrary object to the universal morphism of a comma category which is from a functor to a fixed object; or, dually, the property of there being a unique morphism from the universal morphism to an arbitrary object of a comma category which is from a fixed object to a functor. (Caveat: the uniqueness is up to isomorphism.) |
Translate “Hyperproperty” into Another Language
Pick a language — the word will be pre-filled in the translator.