Expressive Power

A measure of the range of properties, distinctions, or structures that a given logical language or formalism can define or capture on a class of structures; often compared by whether formulas of one language can be translated into another while preserving truth in all structures of interest.