Relative Expressiveness

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
A relation comparing two formal languages or formalisms in which one is said to be at least as expressive as the other when every property, class of structures, or predicate definable in the second can be defined or simulated in the first.