Relative Expressivität

Eine Relation, die zwei formale Sprachen oder Formalismen vergleicht, wobei die eine als mindestens so ausdrucksstark gilt wie die andere, wenn sie alle in der zweiten definierbaren Eigenschaften, Klassen von Strukturen oder Prädikate in der ersten definieren oder simulieren kann.