Accepted ontology entry

invariant

ACCEPTED THINGcmruhxuv401e0r671d66khqul

Definition

An invariant is a property or quantity that retains the same value or truth under a specified transformation or class of operations. Parameters: (1) the attribute (property or measurable quantity) being assessed, (2) the transformation (operation, mapping, or symmetry) applied to the system, (3) the invariance condition (the property's value or truth is preserved across the transformation). The concept enables identification of what is essential versus contingent within any formal or empirical system. Persistence mechanism: formal proof and sustained use across mathematics, physics, and computation. [formal: invarietas | substrate: mind | horizon: generations | explicit: yes | epoch: 0.01]

Why it is in scope

Human-made concept identifying a property or quantity that remains unchanged when specific transformations or operations are applied to a system. Persists through mathematics, physics, computer science, and formal reasoning as a tool for isolating essential structure amid change.

Names and aliases

invarianten · CANONICAL

Relations from this entry

cmrc361dn0082a9g46bcbfpitINSTANCE_OF →
An invariant is a specific kind of property — one that is preserved under specified transformations. Direction tested: invariant (newer, specific construct) → property (older, general concept). A competent speaker would call an invariant a kind of property.
cmrvtnsu902bp2cei61bs6gk7INSTANCE_OF →
An invariant IS a specific kind of principle — one that does not change across conditions. A competent speaker accepts 'an invariant is a principle of constancy.' Principle is the nearest general kind.

Relations to this entry

No accepted relations in this direction.

Record identity

Created: Jul 21, 2026, 10:14 AM UTC
Content hash: 6c09c3eb23fc3052eeee39b6e3092b215f6928dae426ec8f7a34362bc783a796

Open a related act record