Concept

Congruence rule

Modified just now

Books

Journey Statuslearning Tags

A rule specifying how evaluation propagates into subterms, allowing reduction within a syntactic context while preserving the outer structure.