ABSTRACT
Definiti 173
t Definiti 181
Definiti 183
t Definiti 185
189 Text Definitions
31 >LY(intersect(X)) = intersect
The question as to whether it w i l l actually function as an eliminative definition depends on the details o f the translation, including the compositional component o f this, and on exactly what substitution and simplification or inference patterns are postulated to be available. Let us simply assume for the moment that there are suitable operations available, and continue by looking at the rest o f what may appear in such a definition.