{"schema":"https://ver.cy/schemas/card/1.0.0","id":"vr.tr.mathematical-property","code":"thing-q3924032","url":"https://ver.cy/models/thing/q3924032/","name":"mathematical property","alternateNames":["stability property","square-integrable","degree of freedom","productive property","unary relation","geometric continuity","cone condition","hereditary property","generic property","approximation property","geometric property","semi-infinite"],"kind":"thing","status":"published","version":"0.2.0-wave.4","language":"en","classifiers":{"family":"Thing Registry","category":"Cross-cutting context","entryKind":"thing","plane":"XCT","domain":["XCT.QLT"],"industry":[],"navPath":"","tags":[],"facets":{}},"whatItIs":"A property that a mathematical object may have, expressed as a predicate or unary relation over a class of objects, such as continuity, differentiability, convexity or square-integrability of functions, geometric continuity of curves, stability properties of systems, and productive properties preserved under products in topology; the registry treats such properties as functions from objects to truth values.","purpose":"Let an agent explain mathematical properties as predicates, relay examples across analysis, topology and geometry from mathematics references, describe the properties the registry aliases name, and distinguish properties from structures, invariants, relations of higher arity and physical properties.","scope":{"in":[],"out":[],"boundaries":[]},"distinguishingFeatures":["Predicate","Defines subclasses","Preservation questions","Across all fields"],"structure":{"bundles":[{"id":"understand","name":"Understand","description":"What a mathematical property is.","layers":[{"id":"definition","name":"Definition","description":"Definition.","findings":[{"id":"definition-finding","name":"Definition","description":"Definition.","questions":[{"text":"What is a mathematical property, and how does it differ from a structure, invariant, relation and physical property?","kind":"definition"},{"text":"Is the question about logic, a field or a specific property?","kind":"boundary"}]}]},{"id":"examples","name":"Examples","description":"Named properties.","findings":[{"id":"examples-finding","name":"Examples","description":"Examples.","questions":[{"text":"What are stability, square-integrability, productive properties, geometric continuity, degrees of freedom and unary relations?","kind":"definition"},{"text":"Which entry fits the specific property?","kind":"action"}]}]}]},{"id":"logic","name":"Logic","description":"Logic.","layers":[{"id":"predicates","name":"Predicates","description":"Predicates.","findings":[{"id":"predicates-finding","name":"Predicates","description":"Predicates.","questions":[{"text":"How are properties formalised as predicates and sets?","kind":"provenance"},{"text":"Which references are standard?","kind":"provenance"}]}]},{"id":"preservation","name":"Preservation","description":"Preservation.","findings":[{"id":"preservation-finding","name":"Preservation","description":"Preservation.","questions":[{"text":"What does it mean for a property to be preserved under products, maps or limits?","kind":"provenance"},{"text":"Which sources are cited?","kind":"provenance"}]}]}]},{"id":"fields","name":"Fields","description":"Fields.","layers":[{"id":"analysis","name":"Analysis","description":"Analysis.","findings":[{"id":"analysis-finding","name":"Analysis","description":"Analysis.","questions":[{"text":"What are key properties of functions in analysis?","kind":"provenance"},{"text":"Which entry fits square-integrable function?","kind":"action"}]}]},{"id":"geometry","name":"Geometry","description":"Geometry and dynamics.","findings":[{"id":"geometry-finding","name":"Geometry","description":"Geometry.","questions":[{"text":"How are geometric continuity and stability defined?","kind":"provenance"},{"text":"Which entry fits stability theory?","kind":"action"}]}]}]},{"id":"context","name":"Context","description":"Philosophy.","layers":[{"id":"philosophy","name":"Philosophy","description":"Philosophy.","findings":[{"id":"philosophy-finding","name":"Philosophy","description":"Philosophy.","questions":[{"text":"How do philosophers of mathematics treat properties?","kind":"provenance"},{"text":"Which entry fits philosophy of mathematics?","kind":"action"}]}]},{"id":"freedom","name":"Freedom","description":"Degrees of freedom.","findings":[{"id":"freedom-finding","name":"Freedom","description":"Freedom.","questions":[{"text":"What are degrees of freedom in mechanics and statistics?","kind":"provenance"},{"text":"Which entry fits degrees of freedom?","kind":"action"}]}]}]}]},"agentConduct":{"may":["Explain mathematical properties such as continuity or convexity, citing mathematical sources.","State precisely the class of objects a property is defined on."],"mustNot":["Claim a function or system has a property without proof or a cited source.","Confuse a property with a structure or with a count such as degrees of freedom.","Present a stability claim as certified when it has not been checked."],"requiresHuman":["Relying on a claimed property in a safety-critical design."]},"ethics":{"considerations":["Engineers rely on properties such as stability; unchecked claims can cause failures.","Mathematical errors in teaching propagate to students."],"affectedParties":["Students","Engineers relying on proofs"]},"owners":{"steward":"Nobody owns mathematical concepts; they are held in common.","roles":[],"masterSystems":[]},"relations":[{"target":"Q11348","type":"parent","note":"registry parent class"},{"target":"Q937228","type":"parent","note":"registry parent class"},{"target":"property","type":"related","note":"in registry terms"},{"target":"unary relation","type":"related"},{"target":"mathematical structure","type":"related"},{"target":"continuous function","type":"related","note":"having continuity"}],"interaction":{"identity":{"applicability":"required","items":["Vercy registry: vr.tr.mathematical-property","Wikidata: Q3924032 (https://www.wikidata.org/wiki/Q3924032)"]},"properties":{"applicability":"not-applicable","items":["formal sense: unary predicate or subset note","square-integrable: finite integral of the square note - L2","geometric continuity: G0, G1, G2 levels note - curves"]},"recognition":{"applicability":"optional","items":["A mathematical property is a predicate that mathematical objects may satisfy.","Examples include stability, square-integrability, productive properties and geometric continuity, while degrees of freedom is a count rather than a truth-valued property.","Structures add operations, invariants are preserved quantities, relations may relate several objects, and physical properties are measured.","Not a visible object; a predicate."]},"capabilities":{"applicability":"required","items":["explain the concept","relay examples","describe named properties","distinguish related concepts"]},"hazards":{"applicability":"required","items":["Confusing properties with structures","Registry aliases mixing properties and counts","Vagueness of the general notion"]},"interfaces":{"applicability":"required","items":["No regulation"]},"context":{"applicability":"required","items":["Not applicable; a mathematical concept.","analytic properties such as continuity and square-integrability","topological properties including productive properties","geometric properties such as geometric continuity","dynamical properties such as stability","counting notions such as degrees of freedom","unary relations in logic"]}},"sources":[{"title":"Wikidata item Q3924032: mathematical property","url":"https://www.wikidata.org/wiki/Q3924032","note":"identity and sense of the item"},{"title":"Wikipedia: Property (mathematics)","url":"https://en.wikipedia.org/wiki/Property_%28mathematics%29","note":"general description of the item"}],"openQuestions":["Should the named properties be separate primary entries?","How should mathematics references be linked?","The registry alias degree of freedom is a count rather than a property; should it be split off?"],"resources":{"spec":"/models/things/publications/thing-q3924032/spec.json"},"provenance":{"origin":"thing registry research (pass 2)","builtFrom":["models/things/publications/thing-q3924032/spec.json"],"providers":["Claude"],"researchStatus":"unreviewed","generatedAt":"2026-09-13T18:08:38Z","builder":"tools/build_cards.py@1.0.0"},"completeness":{"sections":{"classifiers":"filled","whatItIs":"filled","purpose":"filled","distinguishingFeatures":"filled","structure":"filled","agentConduct":"filled","ethics":"filled","owners":"filled","relations":"filled","interaction.identity":"filled","interaction.properties":"not-applicable","interaction.recognition":"filled","interaction.capabilities":"filled","interaction.hazards":"filled","interaction.interfaces":"filled","interaction.context":"filled","sources":"filled"},"notes":{"_gate":"Published through the thing publication gate 1.0 on 2026-10-07T10:10:30+00:00: completeness 1.00; sense: Wikidata description; 2 live sources; review by codex: pass","interaction.properties":"Plane XCT: no invented physical properties."},"score":1.0}}