Poder Expresivo

Medida del alcance de las propiedades, distinciones o estructuras que un lenguaje lógico o formalismo dado puede definir o capturar sobre una clase de estructuras; a menudo se compara comprobando si las fórmulas de un lenguaje pueden traducirse a otro preservando la verdad en todas las estructuras de interés.